]> matita.cs.unibo.it Git - helm.git/blob - helm/dtd/annotations.dtd
Requires and Provides now fixed
[helm.git] / helm / dtd / annotations.dtd
1 <?xml encoding="ISO-8859-1"?>
2
3 <!--*****************************************************************-->
4 <!-- DTD FOR ANNOTATED OBJECTS:                                      -->
5 <!--  First draft: June 2000, Claudio Sacerdoti Coen                 -->
6 <!--*****************************************************************-->
7
8 <!ENTITY % annotation '(#PCDATA|node|attribute)*'>
9
10 <!ELEMENT Annotations (Annotation)*>
11 <!ATTLIST Annotations
12           of CDATA #REQUIRED>
13
14 <!ELEMENT Annotation %annotation;>
15 <!ATTLIST Annotation
16           of CDATA #REQUIRED>
17
18 <!-- Annotations: -->
19
20 <!ELEMENT attribute EMPTY>
21 <!ATTLIST attribute
22           name       NMTOKEN #REQUIRED
23           id         NMTOKEN #REQUIRED
24           child      NMTOKEN #IMPLIED
25           grandchild NMTOKEN #IMPLIED>
26
27 <!ELEMENT node EMPTY>
28 <!ATTLIST node
29           id NMTOKEN #REQUIRED>