]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/sites/site.dtd
Initial commit of the XML/XSLT stuff.
[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|I|a)*>
23 <!ELEMENT I (#PCDATA)>
24 <!ELEMENT a (#PCDATA)>
25 <!ATTLIST a
26           href CDATA #REQUIRED>
27 <!ELEMENT dl (dt|dd)+>
28 <!ELEMENT dt (#PCDATA)>
29 <!ELEMENT dd (#PCDATA)>
30 <!ELEMENT ul (li)+>
31 <!ELEMENT li (#PCDATA)>