diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rng/openmath3.rng')
-rw-r--r-- | Master/texmf-dist/source/latex/stex/schema/rng/openmath3.rng | 247 |
1 files changed, 0 insertions, 247 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rng/openmath3.rng b/Master/texmf-dist/source/latex/stex/schema/rng/openmath3.rng deleted file mode 100644 index 6d1ac08e7c7..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rng/openmath3.rng +++ /dev/null @@ -1,247 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!-- - RELAX NG Schema for OpenMath 2 - $Id: openmath3.rnc 7618 2008-06-03 06:32:15Z kohlhase $ - $HeadURL: https://svn.omdoc.org/repos/omdoc/trunk/schema/rnc/openmath3.rnc $ - See the documentation and examples at http://www.openmath.org ---> -<grammar ns="http://www.openmath.org/OpenMath" xmlns="http://relaxng.org/ns/structure/1.0" datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes"> - <start> - <ref name="OMOBJ"/> - </start> - <!-- OpenMath object constructor --> - <define name="OMOBJ"> - <element name="OMOBJ"> - <ref name="compound.attributes"/> - <optional> - <attribute name="version"> - <data type="string"/> - </attribute> - </optional> - <ref name="omel"/> - </element> - </define> - <!-- Elements which can appear inside an OpenMath object --> - <define name="omel"> - <choice> - <ref name="OMS"/> - <ref name="OMV"/> - <ref name="OMI"/> - <ref name="OMB"/> - <ref name="OMSTR"/> - <ref name="OMF"/> - <ref name="OMA"/> - <ref name="OMBIND"/> - <ref name="OME"/> - <ref name="OMATTR"/> - <ref name="OMR"/> - </choice> - </define> - <!-- things which can be variables --> - <define name="omvar"> - <choice> - <ref name="OMV"/> - <ref name="attvar"/> - </choice> - </define> - <define name="attvar"> - <element name="OMATTR"> - <ref name="common.attributes"/> - <group> - <ref name="OMATP"/> - <choice> - <ref name="OMV"/> - <ref name="attvar"/> - </choice> - </group> - </element> - </define> - <define name="cdbase"> - <optional> - <attribute name="cdbase"> - <data type="anyURI"/> - </attribute> - </optional> - </define> - <!-- attributes common to all elements --> - <define name="common.attributes"> - <optional> - <attribute name="id"> - <data type="ID"/> - </attribute> - </optional> - </define> - <!-- attributes common to all elements that construct compount OM objects. --> - <define name="compound.attributes"> - <ref name="common.attributes"/> - <ref name="cdbase"/> - </define> - <!-- symbol --> - <define name="OMS"> - <element name="OMS"> - <ref name="common.attributes"/> - <attribute name="name"> - <data type="NCName"/> - </attribute> - <attribute name="cd"> - <data type="NCName"/> - </attribute> - <ref name="cdbase"/> - </element> - </define> - <!-- variable --> - <define name="OMV"> - <element name="OMV"> - <ref name="common.attributes"/> - <attribute name="name"> - <data type="NCName"/> - </attribute> - </element> - </define> - <!-- integer --> - <define name="OMI"> - <element name="OMI"> - <ref name="common.attributes"/> - <data type="string"> - <param name="pattern">\s*(-\s?)?[0-9]+(\s[0-9]+)*\s*</param> - </data> - </element> - </define> - <!-- byte array --> - <define name="OMB"> - <element name="OMB"> - <ref name="common.attributes"/> - <data type="base64Binary"/> - </element> - </define> - <!-- string --> - <define name="OMSTR"> - <element name="OMSTR"> - <ref name="common.attributes"/> - <text/> - </element> - </define> - <!-- IEEE floating point number --> - <define name="OMF"> - <element name="OMF"> - <ref name="common.attributes"/> - <choice> - <attribute name="dec"> - <data type="double"/> - </attribute> - <attribute name="hex"> - <data type="string"> - <param name="pattern">[0-9A-F]+</param> - </data> - </attribute> - </choice> - </element> - </define> - <!-- apply constructor --> - <define name="OMA"> - <element name="OMA"> - <ref name="compound.attributes"/> - <oneOrMore> - <ref name="omel"/> - </oneOrMore> - </element> - </define> - <!-- binding constructor --> - <define name="OMBIND"> - <element name="OMBIND"> - <ref name="compound.attributes"/> - <ref name="omel"/> - <ref name="OMBVAR"/> - <optional> - <ref name="OMC"/> - </optional> - <ref name="omel"/> - </element> - </define> - <!-- the condition element --> - <define name="OMC"> - <element name="OMC"> - <ref name="common.attributes"/> - <ref name="omel"/> - </element> - </define> - <!-- variables used in binding constructor --> - <define name="OMBVAR"> - <element name="OMBVAR"> - <ref name="common.attributes"/> - <oneOrMore> - <ref name="omvar"/> - </oneOrMore> - </element> - </define> - <!-- error constructor --> - <define name="OME"> - <element name="OME"> - <ref name="common.attributes"/> - <ref name="OMS"/> - <zeroOrMore> - <choice> - <ref name="omel"/> - <ref name="OMFOREIGN"/> - </choice> - </zeroOrMore> - </element> - </define> - <!-- attribution constructor and attribute pair constructor --> - <define name="OMATTR"> - <element name="OMATTR"> - <ref name="compound.attributes"/> - <ref name="OMATP"/> - <ref name="omel"/> - </element> - </define> - <define name="OMATP"> - <element name="OMATP"> - <ref name="compound.attributes"/> - <oneOrMore> - <ref name="OMS"/> - <choice> - <ref name="omel"/> - <ref name="OMFOREIGN"/> - </choice> - </oneOrMore> - </element> - </define> - <!-- foreign constructor --> - <define name="OMFOREIGN"> - <element name="OMFOREIGN"> - <ref name="compound.attributes"/> - <optional> - <attribute name="encoding"> - <data type="string"/> - </attribute> - </optional> - <zeroOrMore> - <choice> - <ref name="omel"/> - <ref name="notom"/> - </choice> - </zeroOrMore> - </element> - </define> - <!-- - Any elements not in the om namespace - (valid om is allowed as a descendant) - --> - <define name="notom"> - <text/> - </define> - <!-- - (element * - om:* {attribute * { text }*,(omel|notom)*} - | text) - --> - <!-- reference constructor --> - <define name="OMR"> - <element name="OMR"> - <ref name="common.attributes"/> - <attribute name="href"> - <data type="anyURI"/> - </attribute> - </element> - </define> -</grammar> |