]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Deliverables added.
[helm.git] / helm / mowgli / home / xml / deliverables / requirement-analysis / d1b.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE deliverable SYSTEM "../deliverable.dtd">
4
5 <deliverable id="D1.b">
6  <name>Structure and Meta-Structure of Mathematical Documents.</name>
7 </deliverable>
Unnamed repository; edit this file 'description' to name the repository.