diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcd2.rnc')
-rw-r--r-- | Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcd2.rnc | 59 |
1 files changed, 0 insertions, 59 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcd2.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcd2.rnc deleted file mode 100644 index 2a2b64e4371..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcd2.rnc +++ /dev/null @@ -1,59 +0,0 @@ -# ********************************************* -# -# Relax NG Schema for OpenMath CD -# -# ********************************************* - -default namespace = "http://www.openmath.org/OpenMathCD" - -include "openmath2.rnc" - -start = CD - -CDComment = element CDComment { text } -CDName = element CDName { xsd:NCName } -CDUses = element CDUses { CDName* } -CDURL = element CDURL { xsd:anyURI } -CDBase = element CDBase { xsd:anyURI } -text-or-om = (text | OMOBJ)* -CDReviewDate = element CDReviewDate { xsd:date } -CDDate = element CDDate { xsd:date } -CDVersion = element CDVersion { xsd:nonNegativeInteger } -CDRevision = element CDRevision { xsd:nonNegativeInteger } -CDStatus = element CDStatus { - "official" | - "experimental" | - "private" | - "obsolete"} -Description = element Description { text } -Name = element Name { xsd:NCName } -Role = element Role { - "binder" | - "attribution" | - "semantic-attribution" | - "error" | - "application" | - "constant" } -CMP = element CMP { text } -FMP = element FMP { - attribute kind {xsd:string}?, - OMOBJ - } -# allow embedded OM -Example = element Example { text-or-om } -CDDefinition = - element CDDefinition { - CDComment*, - (Name & Role? & Description), - (CDComment | Example | FMP | CMP)* - } -CD = - element CD { - (CDComment* & Description? & - CDName & CDURL? & CDBase? & - CDReviewDate? & CDDate & CDStatus & - CDUses? & - CDVersion & CDRevision), - ( CDDefinition,CDComment* )+ - } - |