]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/sites/site.dtd
Initial commit of the XML/XSLT stuff.
[helm.git] / helm / mowgli / home / xml / sites / site.dtd
diff --git a/helm/mowgli/home/xml/sites/site.dtd b/helm/mowgli/home/xml/sites/site.dtd
new file mode 100644 (file)
index 0000000..36a40ee
--- /dev/null
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+
+<!ENTITY % in_site "(name,country,url,address,responsible,description,member*,project*)">
+
+<!ELEMENT site (%in_site;|subsite+)>
+<!ELEMENT subsite %in_site;>
+<!ELEMENT name (#PCDATA)>
+<!ELEMENT country (#PCDATA)>
+<!ELEMENT url (#PCDATA)>
+<!ELEMENT address (#PCDATA)>
+<!ELEMENT responsible EMPTY>
+<!ATTLIST responsible
+          file CDATA #REQUIRED>
+<!ELEMENT description (p|dl|ul)+>
+<!ELEMENT project (name,acronym?,url,member+,description)>
+<!ELEMENT acronym (#PCDATA)>
+<!ELEMENT member EMPTY>
+<!ATTLIST member
+          file CDATA #REQUIRED>
+
+<!-- A subset of XHTML -->
+<!ELEMENT p (#PCDATA|I|a)*>
+<!ELEMENT I (#PCDATA)>
+<!ELEMENT a (#PCDATA)>
+<!ATTLIST a
+          href CDATA #REQUIRED>
+<!ELEMENT dl (dt|dd)+>
+<!ELEMENT dt (#PCDATA)>
+<!ELEMENT dd (#PCDATA)>
+<!ELEMENT ul (li)+>
+<!ELEMENT li (#PCDATA)>