]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / deliverables / requirement-analysis / d1b.xml
index 35e26820bcda840d8a6554cd2196843222b0e0e9..57e90cc906a578913984eee2c1abdb2d3eaaf43d 100644 (file)
@@ -4,4 +4,9 @@
 
 <deliverable id="D1.b">
  <name>Structure and Meta-Structure of Mathematical Documents.</name>
+ <working-package file="requirement-analysis"/>
+ <leader-site file="dfki"/>
+ <extimated-person-month value="8"/>
+ <type value="report"/>
+ <to-be-delivered>Month 6</to-be-delivered>
 </deliverable>