X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Findex.xml;h=f032a7d9fe659a7f033374ba6e2006d15847051d;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=9d6a5ead93acfd4cb16d8f11b34aa149b56810bc;hpb=2bd5ff76c2328b6ea4c3f6e7a57511496e260e27;p=helm.git

diff --git a/helm/mowgli/home/xml/work-packages/index.xml b/helm/mowgli/home/xml/work-packages/index.xml
index 9d6a5ead9..f032a7d9f 100644
--- a/helm/mowgli/home/xml/work-packages/index.xml
+++ b/helm/mowgli/home/xml/work-packages/index.xml
@@ -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>