X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Fwork-package.dtd;h=215bd5218534b236a821b9b2d39a02b8ab200870;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=897adfd9ae6c1c66f88e7c92e08a413b45f65b0d;hpb=2ba3d3b802bfa9ca330f1dc2e54653b3bcceba65;p=helm.git

diff --git a/helm/mowgli/home/xml/work-packages/work-package.dtd b/helm/mowgli/home/xml/work-packages/work-package.dtd
index 897adfd9a..215bd5218 100644
--- a/helm/mowgli/home/xml/work-packages/work-package.dtd
+++ b/helm/mowgli/home/xml/work-packages/work-package.dtd
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
 
-<!ELEMENT work-package (name,begin,end,person-month+,objectives,description,
-                        deliverable*,milestones)>
+<!ELEMENT work-package (name,begin,end,leader,person-month+,objectives,
+                        description,deliverable*,milestones)>
 <!ATTLIST work-package
           number CDATA #REQUIRED>
 
@@ -11,6 +11,10 @@
 
 <!ELEMENT end (#PCDATA)>
 
+<!ELEMENT leader (#PCDATA)>
+<!ATTLIST leader
+          file CDATA #REQUIRED>
+
 <!ELEMENT person-month EMPTY>
 <!ATTLIST person-month
           participant CDATA #REQUIRED
@@ -22,9 +26,9 @@
 
 <!ELEMENT tasks (task*)>
 
-<!ELEMENT task (p|dl|ul)*>
+<!ELEMENT task (name,(p|dl|ul)*)>
 <!ATTLIST task
-          name ID #REQUIRED>
+          id ID #REQUIRED>
 
 <!-- Constraint: the element is empty iff the file attribute is specified -->
 <!ELEMENT deliverable (#PCDATA)>
@@ -34,8 +38,8 @@
 <!ELEMENT milestones (p|dl|ul)*>
 
 <!-- A subset of XHTML -->
-<!ELEMENT p (#PCDATA|I|a)*>
-<!ELEMENT I (#PCDATA)>
+<!ELEMENT p (#PCDATA|em|a)*>
+<!ELEMENT em (#PCDATA)>
 <!ELEMENT a (#PCDATA)>
 <!ATTLIST a
           href CDATA #REQUIRED>