summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmobj.rnc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmobj.rnc')
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmobj.rnc27
1 files changed, 0 insertions, 27 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmobj.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmobj.rnc
deleted file mode 100644
index dfe54e9d1ac..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmobj.rnc
+++ /dev/null
@@ -1,27 +0,0 @@
-# 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)
-
-default namespace omdoc = "http://omdoc.org/ns"
-
-namespace om = "http://www.openmath.org/OpenMath"
-namespace local = ""
-
-# the legacy element, it can encapsulate the non-migrated formats
-legacy.attribs = id.attribs &
- attribute formalism {xsd:anyURI}? &
- attribute format {xsd:anyURI}
-legacy.model = Anything
-legacy = element legacy {tref|(legacy.attribs & legacy.model)}
-
-nonom.attribs = attribute * - (local:* | om:*) {text}*
-extom.attribs = idrest.attribs & nonom.attribs
-omobj = grammar {include "openmath2.rnc"
- common.attributes &= parent extom.attribs}
-
-cmml = grammar {include "mathml3-common.rnc"
- include "mathml3-strict-content.rnc"}
-
-mobj = legacy | omobj | cmml