]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/sites/site.dtd
- removed some debugging prints
[helm.git] / helm / mowgli / home / xml / sites / site.dtd
1 <?xml version="1.0" encoding="iso-8859-1"?>
2
3 <!ENTITY % in_site "(name,country,url,address,responsible,description,member*,project*)">
4
5 <!ELEMENT site (%in_site;|subsite+)>
6 <!ELEMENT subsite %in_site;>
7 <!ELEMENT name (#PCDATA)>
8 <!ELEMENT country (#PCDATA)>
9 <!ELEMENT url (#PCDATA)>
10 <!ELEMENT address (#PCDATA)>
11 <!ELEMENT responsible EMPTY>
12 <!ATTLIST responsible
13           file CDATA #REQUIRED>
14 <!ELEMENT description (p|dl|ul)+>
15 <!ELEMENT project (name,acronym?,url,member+,description)>
16 <!ELEMENT acronym (#PCDATA)>
17 <!ELEMENT member EMPTY>
18 <!ATTLIST member
19           file CDATA #REQUIRED>
20
21 <!-- A subset of XHTML -->
22 <!ELEMENT p (#PCDATA|em|a)*>
23 <!ELEMENT em (#PCDATA)>
24 <!ELEMENT a (#PCDATA)>
25 <!ATTLIST a
26           target CDATA #IMPLIED
27           href CDATA #REQUIRED>
28 <!ELEMENT dl (dt|dd)+>
29 <!ELEMENT dt (#PCDATA)>
30 <!ELEMENT dd (#PCDATA)>
31 <!ELEMENT ul (li)+>
32 <!ELEMENT li (#PCDATA)>