X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Fwork-package.dtd;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Fwork-package.dtd;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=215bd5218534b236a821b9b2d39a02b8ab200870;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

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
index 215bd5218..000000000
--- a/helm/mowgli/home/xml/work-packages/work-package.dtd
+++ /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)>