forked from OpenMath/OMSTD
-
Notifications
You must be signed in to change notification settings - Fork 0
/
omcdsig2dtd.xml
39 lines (28 loc) · 1.02 KB
/
omcdsig2dtd.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
<?xml encoding="UTF-8"?>
<!--
*********************************************
Relax NG Schema for OpenMath CD Signatures
*********************************************
-->
<!ENTITY % omdtd SYSTEM "openmath2.dtd"> %omdtd;
<!ELEMENT CDSComment (#PCDATA)>
<!ATTLIST CDSComment
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCDS'>
<!ELEMENT CDSReviewDate (#PCDATA)>
<!ATTLIST CDSReviewDate
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCDS'>
<!ELEMENT CDSStatus (#PCDATA)>
<!ATTLIST CDSStatus
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCDS'>
<!ELEMENT CDSignatures (CDSComment,(CDSReviewDate?|CDSStatus),
(CDSComment|Signature)*)>
<!ATTLIST CDSignatures
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCDS'>
<!ATTLIST CDSignatures
cd NMTOKEN #REQUIRED
type NMTOKEN #REQUIRED>
<!ELEMENT Signature (OMOBJ)>
<!ATTLIST Signature
xmlns CDATA #FIXED 'http://www.openmath.org/OpenMathCDS'>
<!ATTLIST Signature
name CDATA #REQUIRED>