]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/work-package.dtd
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / mowgli / home / xml / work-packages / work-package.dtd
diff --git a/helm/mowgli/home/xml/work-packages/work-package.dtd b/helm/mowgli/home/xml/work-packages/work-package.dtd
deleted file mode 100644 (file)
index 215bd52..0000000
+++ /dev/null
@@ -1,50 +0,0 @@
-<?xml version="1.0" encoding="iso-8859-1"?>
-
-<!ELEMENT work-package (name,begin,end,leader,person-month+,objectives,
-                        description,deliverable*,milestones)>
-<!ATTLIST work-package
-          number CDATA #REQUIRED>
-
-<!ELEMENT name (#PCDATA)>
-
-<!ELEMENT begin (#PCDATA)>
-
-<!ELEMENT end (#PCDATA)>
-
-<!ELEMENT leader (#PCDATA)>
-<!ATTLIST leader
-          file CDATA #REQUIRED>
-
-<!ELEMENT person-month EMPTY>
-<!ATTLIST person-month
-          participant CDATA #REQUIRED
-          number      CDATA #REQUIRED>
-
-<!ELEMENT objectives (p|dl|ul)*>
-
-<!ELEMENT description ((p|dl|ul)*,tasks?,(p|dl|ul)*)>
-
-<!ELEMENT tasks (task*)>
-
-<!ELEMENT task (name,(p|dl|ul)*)>
-<!ATTLIST task
-          id ID #REQUIRED>
-
-<!-- Constraint: the element is empty iff the file attribute is specified -->
-<!ELEMENT deliverable (#PCDATA)>
-<!ATTLIST deliverable
-          file CDATA #IMPLIED>
-
-<!ELEMENT milestones (p|dl|ul)*>
-
-<!-- A subset of XHTML -->
-<!ELEMENT p (#PCDATA|em|a)*>
-<!ELEMENT em (#PCDATA)>
-<!ELEMENT a (#PCDATA)>
-<!ATTLIST a
-          href CDATA #REQUIRED>
-<!ELEMENT dl (dt|dd)+>
-<!ELEMENT dt (#PCDATA)>
-<!ELEMENT dd (#PCDATA)>
-<!ELEMENT ul (li)+>
-<!ELEMENT li (#PCDATA)>