diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rng/omdocadt.rng')
-rw-r--r-- | Master/texmf-dist/source/latex/stex/schema/rng/omdocadt.rng | 229 |
1 files changed, 0 insertions, 229 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rng/omdocadt.rng b/Master/texmf-dist/source/latex/stex/schema/rng/omdocadt.rng deleted file mode 100644 index 5fe330eb6bb..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rng/omdocadt.rng +++ /dev/null @@ -1,229 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!-- - A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module ADT - $Id: omdocadt.rnc 8959 2011-09-02 06:01:43Z kohlhase $ - $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocadt.rnc $ - See the documentation and examples at http://www.omdoc.org - Copyright (c) 2004-2007 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"> - <define name="omdoc.class" combine="interleave"> - <zeroOrMore> - <ref name="adt"/> - </zeroOrMore> - </define> - <define name="adt.sym.attrib"> - <ref name="id.attribs"/> - <ref name="scope.attrib"/> - <attribute name="name"> - <data type="NCName"/> - </attribute> - </define> - <!-- - adts are abstract data types, they are short forms for groups of symbols - and their definitions, therefore, they have much the same attributes. - --> - <define name="adt.attribs"> - <interleave> - <ref name="toplevel.attribs"/> - <optional> - <attribute name="parameters"> - <list> - <zeroOrMore> - <data type="NCName"/> - </zeroOrMore> - </list> - </attribute> - </optional> - </interleave> - </define> - <define name="adt.class"> - <oneOrMore> - <ref name="sortdef"/> - </oneOrMore> - </define> - <define name="adt.model"> - <interleave> - <ref name="metadata.class"/> - <ref name="adt.class"/> - </interleave> - </define> - <define name="adt"> - <element name="adt"> - <choice> - <ref name="tref"/> - <interleave> - <ref name="adt.attribs"/> - <ref name="adt.model"/> - </interleave> - </choice> - </element> - </define> - <define name="adttype"> - <choice> - <value>loose</value> - <value>generated</value> - <value>free</value> - </choice> - </define> - <define name="sortdef.attribs"> - <interleave> - <ref name="adt.sym.attrib"/> - <optional> - <attribute name="role"> - <value>sort</value> - </attribute> - </optional> - <optional> - <attribute name="type"> - <ref name="adttype"/> - </attribute> - </optional> - </interleave> - </define> - <define name="sortdef.model"> - <interleave> - <ref name="metadata.class"/> - <zeroOrMore> - <ref name="constructor"/> - </zeroOrMore> - <zeroOrMore> - <ref name="insort"/> - </zeroOrMore> - <optional> - <ref name="recognizer"/> - </optional> - </interleave> - </define> - <define name="sortdef"> - <element name="sortdef"> - <choice> - <ref name="tref"/> - <interleave> - <ref name="sortdef.attribs"/> - <ref name="sortdef.model"/> - </interleave> - </choice> - </element> - </define> - <define name="insort.attribs"> - <attribute name="for"> - <ref name="omdocref"/> - </attribute> - </define> - <define name="insort.model"> - <empty/> - </define> - <define name="insort"> - <element name="insort"> - <choice> - <ref name="tref"/> - <interleave> - <ref name="insort.attribs"/> - <ref name="insort.model"/> - </interleave> - </choice> - </element> - </define> - <define name="constructor.attribs"> - <interleave> - <ref name="adt.sym.attrib"/> - <optional> - <ref name="sym.role.attrib"/> - </optional> - </interleave> - </define> - <define name="constructor.model"> - <interleave> - <ref name="metadata.class"/> - <zeroOrMore> - <ref name="argument"/> - </zeroOrMore> - </interleave> - </define> - <define name="constructor"> - <element name="constructor"> - <choice> - <ref name="tref"/> - <interleave> - <ref name="constructor.attribs"/> - <ref name="constructor.model"/> - </interleave> - </choice> - </element> - </define> - <define name="recognizer.attribs"> - <interleave> - <ref name="adt.sym.attrib"/> - <optional> - <ref name="sym.role.attrib"/> - </optional> - </interleave> - </define> - <define name="recognizer.model"> - <ref name="metadata.class"/> - </define> - <define name="recognizer"> - <element name="recognizer"> - <choice> - <ref name="tref"/> - <interleave> - <ref name="recognizer.attribs"/> - <ref name="recognizer.model"/> - </interleave> - </choice> - </element> - </define> - <define name="argument.attribs"> - <empty/> - </define> - <define name="argument.model"> - <interleave> - <ref name="type"/> - <optional> - <ref name="selector"/> - </optional> - </interleave> - </define> - <define name="argument"> - <element name="argument"> - <choice> - <ref name="tref"/> - <interleave> - <ref name="argument.attribs"/> - <ref name="argument.model"/> - </interleave> - </choice> - </element> - </define> - <define name="selector.attribs"> - <interleave> - <ref name="adt.sym.attrib"/> - <optional> - <ref name="sym.role.attrib"/> - </optional> - <optional> - <attribute name="total"> - <choice> - <value>yes</value> - <value>no</value> - </choice> - </attribute> - </optional> - </interleave> - </define> - <define name="selector.model"> - <ref name="metadata.class"/> - </define> - <define name="selector"> - <element name="selector"> - <choice> - <ref name="tref"/> - <interleave> - <ref name="selector.attribs"/> - <ref name="selector.model"/> - </interleave> - </choice> - </element> - </define> -</grammar> |