summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/schema/rng/omdocmobj.rng
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rng/omdocmobj.rng')
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rng/omdocmobj.rng77
1 files changed, 77 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rng/omdocmobj.rng b/Master/texmf-dist/source/latex/stex/schema/rng/omdocmobj.rng
new file mode 100644
index 00000000000..de29149f94e
--- /dev/null
+++ b/Master/texmf-dist/source/latex/stex/schema/rng/omdocmobj.rng
@@ -0,0 +1,77 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+ A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module MOBJ
+ $Id: omdocmobj.rnc 8973 2011-09-09 12:45:16Z kohlhase $
+ $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocmobj.rnc $
+ See the documentation and examples at http://www.omdoc.org
+ Copyright (c) 2004-2009 Michael Kohlhase, released under the GNU Public License (GPL)
+-->
+<grammar ns="http://omdoc.org/ns" xmlns="http://relaxng.org/ns/structure/1.0" datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes">
+ <!-- the legacy element, it can encapsulate the non-migrated formats -->
+ <define name="legacy.attribs">
+ <interleave>
+ <ref name="id.attribs"/>
+ <optional>
+ <attribute name="formalism">
+ <data type="anyURI"/>
+ </attribute>
+ </optional>
+ <attribute name="format">
+ <data type="anyURI"/>
+ </attribute>
+ </interleave>
+ </define>
+ <define name="legacy.model">
+ <ref name="Anything"/>
+ </define>
+ <define name="legacy">
+ <element name="legacy">
+ <choice>
+ <ref name="tref"/>
+ <interleave>
+ <ref name="legacy.attribs"/>
+ <ref name="legacy.model"/>
+ </interleave>
+ </choice>
+ </element>
+ </define>
+ <define name="nonom.attribs">
+ <zeroOrMore>
+ <attribute>
+ <anyName>
+ <except>
+ <nsName ns=""/>
+ <nsName ns="http://www.openmath.org/OpenMath"/>
+ </except>
+ </anyName>
+ </attribute>
+ </zeroOrMore>
+ </define>
+ <define name="extom.attribs">
+ <interleave>
+ <ref name="idrest.attribs"/>
+ <ref name="nonom.attribs"/>
+ </interleave>
+ </define>
+ <define name="omobj">
+ <grammar>
+ <include href="openmath2.rng"/>
+ <define name="common.attributes" combine="interleave">
+ <parentRef name="extom.attribs"/>
+ </define>
+ </grammar>
+ </define>
+ <define name="cmml">
+ <grammar>
+ <include href="mathml3-common.rng"/>
+ <include href="mathml3-strict-content.rng"/>
+ </grammar>
+ </define>
+ <define name="mobj">
+ <choice>
+ <ref name="legacy"/>
+ <ref name="omobj"/>
+ <ref name="cmml"/>
+ </choice>
+ </define>
+</grammar>