X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fdeliverables%2Fdeliverable.dtd;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fdeliverables%2Fdeliverable.dtd;h=74478b4f634c9eedcc13d425a4d522446323f172;hb=bc69803e3577bd386047aaf0588998462e885505;hp=a0b763bccc7837b90ae39464d7d78ccd1385127d;hpb=1cb52c8c09b441053ff6e9af90f717fc0040a79e;p=helm.git

diff --git a/helm/mowgli/home/xml/deliverables/deliverable.dtd b/helm/mowgli/home/xml/deliverables/deliverable.dtd
index a0b763bcc..74478b4f6 100644
--- a/helm/mowgli/home/xml/deliverables/deliverable.dtd
+++ b/helm/mowgli/home/xml/deliverables/deliverable.dtd
@@ -1,7 +1,25 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
 
-<!ELEMENT deliverable (name)>
+<!ELEMENT deliverable (name,working-package,leader-site,extimated-person-month,type,to-be-delivered)>
 <!ATTLIST deliverable
           id ID #REQUIRED>
 
 <!ELEMENT name (#PCDATA)>
+
+<!ELEMENT working-package EMPTY>
+<!ATTLIST working-package
+          file CDATA #REQUIRED>
+
+<!ELEMENT leader-site EMPTY>
+<!ATTLIST leader-site
+          file CDATA #REQUIRED>
+
+<!ELEMENT extimated-person-month EMPTY>
+<!ATTLIST extimated-person-month
+          value CDATA #REQUIRED>
+
+<!ELEMENT type EMPTY>
+<!ATTLIST type
+          value (report|prototype) #REQUIRED>
+
+<!ELEMENT to-be-delivered (#PCDATA)>