]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/examples/readme/readme.dtd
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / examples / readme / readme.dtd
1 <!-- $Id -->
2
3 <!ENTITY % p.like "p|ul">
4 <!ENTITY % text   "br|code|em|footnote|a">
5
6 <!ELEMENT readme (sect1+)>
7 <!ATTLIST readme
8           title CDATA #REQUIRED>
9
10 <!ELEMENT sect1 (title,(sect2|%p.like;)+)>
11
12 <!ELEMENT sect2 (title,(sect3|%p.like;)+)>
13
14 <!ELEMENT sect3 (title,(%p.like;)+)>
15
16 <!ELEMENT title (#PCDATA|br)*>
17
18 <!ELEMENT p (#PCDATA|%text;)*>
19
20 <!ELEMENT br EMPTY>
21
22 <!ELEMENT code (#PCDATA)>
23
24 <!ELEMENT em (#PCDATA|%text;)*>
25
26 <!ELEMENT ul (li+)>
27
28 <!ELEMENT li (%p.like;)*>
29
30 <!ELEMENT footnote (#PCDATA|%text;)*>
31
32 <!ELEMENT a (#PCDATA)*>
33 <!ATTLIST a 
34           href      CDATA #IMPLIED
35           readmeref CDATA #IMPLIED
36 >
37
38