]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/work-package.dtd
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / work-packages / work-package.dtd
index 723468da54a38b1ea8fee9d6df780fe409911e9e..215bd5218534b236a821b9b2d39a02b8ab200870 100644 (file)
@@ -12,6 +12,8 @@
 <!ELEMENT end (#PCDATA)>
 
 <!ELEMENT leader (#PCDATA)>
+<!ATTLIST leader
+          file CDATA #REQUIRED>
 
 <!ELEMENT person-month EMPTY>
 <!ATTLIST person-month