June 2016 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Wed Jun 29 17:47:39 CEST 2016
Ending: Thu Jun 30 20:23:31 CEST 2016
Messages: 4

• [Om] Licensing of XML schemas   Luca De Feo
• [Om] OpenMath Organization at github   Michael Kohlhase
• [Om] OpenMath Organization at github   James Davenport
• [Om] OpenMath Organization at github   Michael Kohlhase

Last message date: Thu Jun 30 20:23:31 CEST 2016
Archived on: Thu Jun 30 20:05:53 CEST 2016

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...