]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/deliverables/deliverable.dtd
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / deliverables / deliverable.dtd
1 <?xml version="1.0" encoding="iso-8859-1"?>
2
3 <!ELEMENT deliverable (name,working-package,leader-site,extimated-person-month,type,to-be-delivered)>
4 <!ATTLIST deliverable
5           id ID #REQUIRED>
6
7 <!ELEMENT name (#PCDATA)>
8
9 <!ELEMENT working-package EMPTY>
10 <!ATTLIST working-package
11           file CDATA #REQUIRED>
12
13 <!ELEMENT leader-site EMPTY>
14 <!ATTLIST leader-site
15           file CDATA #REQUIRED>
16
17 <!ELEMENT extimated-person-month EMPTY>
18 <!ATTLIST extimated-person-month
19           value CDATA #REQUIRED>
20
21 <!ELEMENT type EMPTY>
22 <!ATTLIST type
23           value (report|prototype) #REQUIRED>
24
25 <!ELEMENT to-be-delivered (#PCDATA)>