summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpres.rnc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpres.rnc')
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpres.rnc91
1 files changed, 0 insertions, 91 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpres.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpres.rnc
deleted file mode 100644
index 2d2b26db632..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpres.rnc
+++ /dev/null
@@ -1,91 +0,0 @@
-# A RelaxNG for Open Mathematical documents (OMDoc 1.3) Module PRES
-# $Id: omdocpres.rnc 8973 2011-09-09 12:45:16Z kohlhase $
-# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocpres.rnc $
-# See the documentation and examples at http://www.omdoc.org
-# Copyright (c) 2004-2008 Michael Kohlhase, released under the GNU Public License (GPL)
-
-default namespace omdoc = "http://omdoc.org/ns"
-omdoc.class &= notation*
-
-## we first add the ic and ec attributes for notation contexts everywhere
-ic.attrib = attribute ic {text}
-ec.attrib = attribute ec {text}
-idrest.attribs &= ic.attrib? & ec.attrib?
-
-prototype.attribs = empty
-prototype.model = protoexp
-prototype = element prototype {tref|(prototype.attribs & prototype.model)}
-
-protoexp = grammar {include "openmath2.rnc"
- {start = omel
- common.attributes = parent id.attribs}
- omel |= parent proto.class
- omvar |= parent proto.class
- common.attributes &= parent ntn.attrib}
- | grammar {include "mathml3.rnc" {start = ContExp}
- ContExp |= parent proto.class
- ci |= parent proto.class
- CommonAtt &= parent ntn.attrib}
-
-precedence.att = attribute precedence {xsd:integer} | attribute argprec {xsd:integer}
-context.att = attribute xml:lang {text}? &
- attribute context {text}? &
- attribute variant {text}?
-
-format.att = attribute format {text}?
-
-rendering.attribs = precedence.att? & context.att & format.att
-rendering.model = renderexp
-
-rendering = element rendering {tref|(rendering.attribs & rendering.model)}
-
-renderexp = grammar {include "mathml3-common.rnc" {start = PresentationExpression}
- include "mathml3-presentation.rnc"
- PresentationExpression |= parent render.class
- CommonAtt &= parent ntn.attrib
- mtable.content.class |= parent render.class
- mtr.content.class |= parent render.class}
- | (pdata|render.class)*
-
-pdata.attribs = empty
-pdata.model = text
-pdata = element pdata {pdata.attribs & pdata.model}
-
-iterexp = grammar {include "mathml3.rnc"
- {start = PresentationExpression|mtr|mlabeledtr|mtd}
- PresentationExpression |= parent render.class
- MathML.Common.attrib &= parent ntn.attrib
- mtable.content.class |= parent render.class
- mtr.content.class |= parent render.class}
-
- name.attrib = attribute name {xsd:NCName}?
- triple.att = attribute cdbase {xsd:anyURI}? & name.attrib & attribute cd {xsd:NCName}?
-
-notation.attribs = id.attribs & triple.att
-notation.model = metadata.class & CMP* & prototype+ & rendering*
-notation = element notation {tref|(notation.attribs & notation.model)}
-
-# we extend the content and presentation models by metavariables
-proto.class = exprlist | expr
-render.class = render | iterate
-ntn.attrib = attribute cr {text}? & attribute egroup {text}?
-
-exprlist.attribs = name.attrib
-exprlist.model = protoexp*
-exprlist = element exprlist {exprlist.attribs & exprlist.model}
-
-expr.attribs = name.attrib
-expr.model = empty
-expr = element expr {tref|(expr.attribs & expr.model)}
-
-iterate.attribs = name.attrib & precedence.att?
-iterate.model = separator & iterexp*
-iterate = element iterate {tref|(iterate.attribs & iterate.model)}
-
-render.attribs = name.attrib & precedence.att?
-render.model = empty
-render = element render {tref|(render.attribs & render.model)}
-
-separator.attribs = empty
-separator.model = renderexp*
-separator = element separator {tref|(separator.attribs & separator.model)}