]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/deliverables/deliverable.dtd
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / deliverables / deliverable.dtd
index a0b763bccc7837b90ae39464d7d78ccd1385127d..74478b4f634c9eedcc13d425a4d522446323f172 100644 (file)
@@ -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)>