Revision 1002: /OpenMath3/standard

• ..
• Makefile
• TODO.txt
• arith1.ocd
• arith1.sts
• docbook/
• error.ocd
• keylogo.eps
• keylogo.gif
• keylogo.png
• lambda-alone.png
• lambda.png
• lambda.svg
• mathml.cdg
• meta.ocd
• om-arch.png
• om-arch.svg
• omcd2.rnc
• omcd2.xsd
• omcd2rnc.xml
• omcd3.dtd
• omcd3.rnc
• omcd3.rng
• omcd3rnc.xml
• omcdgroup2.rnc
• omcdgroup2.xsd
• omcdgroup2rnc.xml
• omcdgroup3.rnc
• omcdgroup3.rng
• omcdgroup3rnc.xml
• omcdsig2.rnc
• omcdsig2.xsd
• omcdsig2rnc.xml
• omcdsig3.dtd
• omcdsig3.rnc
• omcdsig3.rng
• omcdsig3rnc.xml
• omstd30.xml
• omstd30.xsl
• omstd30html-d.xml
• omstd30html.xml
• openmath.cls
• openmath2.rnc
• openmath2dtd.xml
• openmath2rnc.xml
• openmath3.dtd
• openmath3.rnc
• openmath3.rng
• openmath3.xsd
• openmath3rnc.xml
• pmathml.xsl
• pmathmlcss.xsl
• rnc2dbk
• run
• sinx.png
• strip-revisionmarks.xsl
• supp-mis.tex
• supp-pdf.tex
• trang.jar
• verb.xsl