October 2003 Archives by subject

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

Starting: Mon Oct 13 16:22:08 CEST 2003
Ending: Tue Oct 14 17:39:31 CEST 2003
Messages: 5

• [om] Draft Specification of OpenMath 2   Mike Dewar
• [om] Draft Specification of OpenMath 2   Bill Naylor
• [om] Draft Specification of OpenMath 2   Mike Dewar
• [om] Re: Draft Specification of OpenMath 2   antonio.capani at nibbles.it
• [om] Re: Draft Specification of OpenMath 2   Michael Kohlhase

Last message date: Tue Oct 14 17:39:31 CEST 2003
Archived on: Thu Oct 20 16:38:17 CEST 2005

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