]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/work-packages/work-package.dtd
New: two methods have been added to kill UWOBO and to start a new session
[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,leader,person-month+,objectives,
4                         description,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 leader (#PCDATA)>
15 <!ATTLIST leader
16           file CDATA #REQUIRED>
17
18 <!ELEMENT person-month EMPTY>
19 <!ATTLIST person-month
20           participant CDATA #REQUIRED
21           number      CDATA #REQUIRED>
22
23 <!ELEMENT objectives (p|dl|ul)*>
24
25 <!ELEMENT description ((p|dl|ul)*,tasks?,(p|dl|ul)*)>
26
27 <!ELEMENT tasks (task*)>
28
29 <!ELEMENT task (name,(p|dl|ul)*)>
30 <!ATTLIST task
31           id ID #REQUIRED>
32
33 <!-- Constraint: the element is empty iff the file attribute is specified -->
34 <!ELEMENT deliverable (#PCDATA)>
35 <!ATTLIST deliverable
36           file CDATA #IMPLIED>
37
38 <!ELEMENT milestones (p|dl|ul)*>
39
40 <!-- A subset of XHTML -->
41 <!ELEMENT p (#PCDATA|em|a)*>
42 <!ELEMENT em (#PCDATA)>
43 <!ELEMENT a (#PCDATA)>
44 <!ATTLIST a
45           href CDATA #REQUIRED>
46 <!ELEMENT dl (dt|dd)+>
47 <!ELEMENT dt (#PCDATA)>
48 <!ELEMENT dd (#PCDATA)>
49 <!ELEMENT ul (li)+>
50 <!ELEMENT li (#PCDATA)>