]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/index.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / work-packages / index.xml
index 9d6a5ead93acfd4cb16d8f11b34aa149b56810bc..f032a7d9fe659a7f033374ba6e2006d15847051d 100644 (file)
@@ -1,11 +1,26 @@
 <?xml version="1.0"?>
 
 <!DOCTYPE work-packages [
- <!ELEMENT work-packages (work-package+)>
+ <!ELEMENT work-packages (work-package+,description)>
 
  <!ELEMENT work-package EMPTY>
  <!ATTLIST work-package
            file CDATA #REQUIRED>
+
+ <!ELEMENT description (p|dl|ul|ol)+>
+
+ <!-- A subset of XHTML -->
+ <!ELEMENT p (#PCDATA|em|a)*>
+ <!ELEMENT em (#PCDATA)>
+ <!ELEMENT a (#PCDATA)>
+ <!ATTLIST a
+           href CDATA #REQUIRED>
+ <!ELEMENT dl (dt|dd)+>
+ <!ELEMENT dt (#PCDATA)>
+ <!ELEMENT dd (#PCDATA)>
+ <!ELEMENT ul (li)+>
+ <!ELEMENT ol (li)+>
+ <!ELEMENT li (#PCDATA)>
 ]>
 
 <work-packages>