summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocrt.rnc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocrt.rnc')
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocrt.rnc32
1 files changed, 32 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocrt.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocrt.rnc
new file mode 100644
index 00000000000..ac7c3010494
--- /dev/null
+++ b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocrt.rnc
@@ -0,0 +1,32 @@
+# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module RT
+# $Id: omdocrt.rnc 8973 2011-09-09 12:45:16Z kohlhase $
+# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocrt.rnc $
+# See the documentation and examples at http://www.omdoc.org
+# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL)
+
+default namespace omdoc = "http://omdoc.org/ns"
+
+rst.attribs = verbalizes.attrib?
+
+## We extend the three main content models by xhtml elements
+inline.class &= grammar {include "pxhtml.rnc"
+ {Inline.model = text & parent metadata.class & Inline.class}
+ Inline.class &= parent op.class
+ span.attlist &= parent rst.attribs
+ start = Inline.class}
+
+plike.class &= grammar {include "pxhtml.rnc"
+ {Inline.model = text & parent metadata.class & Inline.class}
+ Common.attrib &= parent idrest.attribs & parent parallel.attribs
+ Inline.class &= parent op.class
+ span.attlist &= parent rst.attribs
+ start = Block.class}
+
+omdoc.class &= grammar {include "pxhtml.rnc"
+ {Inline.model = text & parent metadata.class & Inline.class}
+ Common.attrib &= parent idrest.attribs & parent parallel.attribs
+ Inline.class &= parent op.class
+ Block.cass &= parent plike.class
+ Flow.model &= parent omdoc.class
+ span.attlist &= parent rst.attribs
+ start = List.class}