]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/work-packages/work-package.dtd
DTD improved (and committed) with new elements "task" and "tasks".
[helm.git] / helm / mowgli / home / xml / work-packages / work-package.dtd
1 <?xml version="1.0" encoding="iso-8859-1"?>
2
3 <!ELEMENT work-package (name,begin,end,person-month+,objectives,description,
4                         deliverable*,milestones)>
5 <!ATTLIST work-package
6           number CDATA #REQUIRED>
7
8 <!ELEMENT name (#PCDATA)>
9
10 <!ELEMENT begin (#PCDATA)>
11
12 <!ELEMENT end (#PCDATA)>
13
14 <!ELEMENT person-month EMPTY>
15 <!ATTLIST person-month
16           participant CDATA #REQUIRED
17           number      CDATA #REQUIRED>
18
19 <!ELEMENT objectives (p|dl|ul)*>
20
21 <!ELEMENT description ((p|dl|ul)*,tasks?,(p|dl|ul)*)>
22
23 <!ELEMENT tasks (task*)>
24
25 <!ELEMENT task (p|dl|ul)*>
26 <!ATTLIST task
27           name ID #REQUIRED>
28
29 <!-- Constraint: the element is empty iff the file attribute is specified -->
30 <!ELEMENT deliverable (#PCDATA)>
31 <!ATTLIST deliverable
32           file CDATA #IMPLIED>
33
34 <!ELEMENT milestones (p|dl|ul)*>
35
36 <!-- A subset of XHTML -->
37 <!ELEMENT p (#PCDATA|I|a)*>
38 <!ELEMENT I (#PCDATA)>
39 <!ELEMENT a (#PCDATA)>
40 <!ATTLIST a
41           href CDATA #REQUIRED>
42 <!ELEMENT dl (dt|dd)+>
43 <!ELEMENT dt (#PCDATA)>
44 <!ELEMENT dd (#PCDATA)>
45 <!ELEMENT ul (li)+>
46 <!ELEMENT li (#PCDATA)>