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, 32 insertions, 0 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 new file mode 100644 index 00000000000..32aa235cc76 --- /dev/null +++ b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdsig2.rnc @@ -0,0 +1,32 @@ +# ********************************************* +# +# 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 } + |