X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Fwork-package.dtd;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Fwork-package.dtd;h=30d218b036fe04426c046387befd1629a450cb34;hb=52ee33174ed91376a8cb67e9b1d95a82027ca764;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..30d218b03 100644
--- a/helm/mowgli/home/xml/work-packages/work-package.dtd
+++ b/helm/mowgli/home/xml/work-packages/work-package.dtd
@@ -22,9 +22,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)>