An XML Schema for the OMDoc format (OpenMath documents)
Initial Version: Michael Kohlhase 2000-09-07
URL: http://www.mathweb.org/omdoc/xsd/omdoc.xsd (released)
URL: http://www.mathweb.org/src/mathweb/omdoc/xsd/omdoc.xsd (experimental)
This Schema is still experimental, it is intended as a basis for discussion.
Comments are welcome! (send mail to kohlhase@mathweb.org)
See the documentation and examples at http://www.mathweb.org/omdoc
(c) 2000 Michael Kohlhase, released under the GNU Public License
The current XML-recommendation doesn't yet support the three-letter
short names for languages (ISO 693-2). So the following section
will be using the two-letter (ISO 693-1) encoding for the languages.
en : English, de : German, fr : French,
la : Latin, it : Italian, nl : Dutch,
ru : Russian, pl : Polish, es : Spanish,
tr : Turkish, zh : Chinese, ja : Japanese,
ko : Korean