]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/deliverables/deliverable.dtd
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Deliverables added.
[helm.git] / helm / mowgli / home / xml / deliverables / deliverable.dtd
1 <?xml version="1.0" encoding="iso-8859-1"?>
2
3 <!ELEMENT deliverable (name)>
4 <!ATTLIST deliverable
5           id ID #REQUIRED>
6
7 <!ELEMENT name (#PCDATA)>
Unnamed repository; edit this file 'description' to name the repository.