February 2011 Archives by date
Starting: Sun Feb 13 16:47:50 CET 2011
Ending: Fri Feb 25 14:35:23 CET 2011
Messages: 26
- [Om3] Kicking off an OpenMath2+Process (Standard Enhancement)
Michael Kohlhase
- [Om3] Kicking off an OpenMath2+Process (Standard Enhancement)
Manfred Riem
- [Om3] [Om] Kicking off an OpenMath2+Process (Standard Enhancement)
Professor James Davenport
- [Om3] [Om] Kicking off an OpenMath2+Process (Standard Enhancement)
Christoph LANGE
- [Om3] [Om] Kicking off an OpenMath2+Process (Standard Enhancement)
Professor James Davenport
- [Om3] [Om] Kicking off an OpenMath2+Process (Standard Enhancement)
Lars Hellström
- [Om3] RDF and some JSON [Re: [Om] Kicking off an OpenMath2+Process (Standard Enhancement)]
Christoph LANGE
- [Om3] [Om] Kicking off an OpenMath2+Process (Standard Enhancement)
Michael Kohlhase
- [Om3] [Om] Kicking off an OpenMath2+Process (Standard Enhancement)
Lars Hellström
- [Om3] Restoring stuff from 'OpenMath 3': ontology, XSLT, etc.
Christoph LANGE
- [Om3] Restoring stuff from 'OpenMath 3': ontology, XSLT, etc.
Michael Kohlhase
- [Om3] Restoring stuff from 'OpenMath 3': ontology, XSLT, etc.
Christoph LANGE
- [Om3] Restoring stuff from 'OpenMath 3': ontology, XSLT, etc.
Michael Kohlhase
- [Om3] OpenMath 3 XSLT revival, and questions
Christoph LANGE
- [Om3] OpenMath 3 XSLT revival, and questions
David Carlisle
- [Om3] [Om] Kicking off an OpenMath2+Process (Standard Enhancement)
Michael Kohlhase
- [Om3] Kicking off an OpenMath2+ Process (Standard Enhancement)
Professor James Davenport
- [Om3] Kicking off an OpenMath2+ Process (Standard Enhancement)
Michael Kohlhase
- [Om3] Kicking off an OpenMath2+ Process (Standard Enhancement)
Lars Hellström
- [Om3] Arity of OMBIND. Procedural question
Lars Hellström
- [Om3] Floats
Lars Hellström
- [Om3] Floats
Professor James Davenport
- [Om3] Kicking off an OpenMath2+ Process (Standard Enhancement)
Professor James Davenport
- [Om3] Kicking off an OpenMath2+ Process (Standard Enhancement)
Michael Kohlhase
- [Om3] Procedural question
Michael Kohlhase
- [Om3] Floats
Michael Kohlhase
Last message date:
Fri Feb 25 14:35:23 CET 2011
Archived on: Fri Feb 25 14:35:53 CET 2011
This archive was generated by
Pipermail 0.09 (Mailman edition).