]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml
ocaml 3.09 transition
[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  <working-package file="requirement-analysis"/>
8  <leader-site file="dfki"/>
9  <extimated-person-month value="8"/>
10  <type value="report"/>
11  <to-be-delivered>Month 6</to-be-delivered>
12 </deliverable>