diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdsig2.rnc')
-rw-r--r-- | Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdsig2.rnc | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdsig2.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdsig2.rnc deleted file mode 100644 index 32aa235cc76..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdsig2.rnc +++ /dev/null @@ -1,32 +0,0 @@ -# ********************************************* -# -# Relax NG Schema for OpenMath CD Signatures -# -# ********************************************* - -default namespace = "http://www.openmath.org/OpenMathCDS" - -include "openmath2.rnc" - -start = CDSignatures - -CDSComment = element CDSComment { text } -CDSReviewDate = element CDSReviewDate { text } -CDSStatus = element CDSStatus { - "official" | - "experimental" | - "private" | - "obsolete"} -CDSignatures = - element CDSignatures { - attlist.CDSignatures, - (CDSComment)*, - (CDSReviewDate? & CDSStatus), - (CDSComment | Signature)* - } -attlist.CDSignatures = - attribute cd { xsd:NCName }, - attribute type { xsd:NCName } -Signature = element Signature { attlist.Signature, OMOBJ? } -attlist.Signature = attribute name { text } - |