diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdgroup2.rnc')
-rw-r--r-- | Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdgroup2.rnc | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdgroup2.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdgroup2.rnc new file mode 100644 index 00000000000..3b6754e471d --- /dev/null +++ b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdgroup2.rnc @@ -0,0 +1,33 @@ + +# Schema for OpenMath CD groups + +# info on the CD group itself + +default namespace = "http://www.openmath.org/OpenMathCDG" + +CDGroupName = element CDGroupName { xsd:NCName } +CDGroupVersion = element CDGroupVersion { xsd:nonNegativeInteger } +CDGroupRevision = element CDGroupRevision { xsd:nonNegativeInteger } +CDGroupURL = element CDGroupURL { text } +CDGroupDescription = element CDGroupDescription { text } +# info on the CDs in the group +CDComment = element CDComment { text } +CDGroupMember = + element CDGroupMember { + CDComment?, CDName, CDVersion?, CDURL? + } +CDName = element CDName { xsd:NCName } +CDVersion = element CDVersion { xsd:nonNegativeInteger } +CDURL = element CDURL { text } +# structure of the group +CDGroup = + element CDGroup { + CDGroupName, + CDGroupVersion, + CDGroupRevision?, + CDGroupURL, + CDGroupDescription, + (CDGroupMember | CDComment)* + } +start = CDGroup + |