]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/deliverables/metadata/d3a.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / deliverables / metadata / d3a.xml
index eef2e0f79b5f94d15b20940cf9e74f3795d1b2e5..a123da4fd73d5ba50f24fe21f7b246501e92f1d0 100644 (file)
@@ -3,5 +3,10 @@
 <!DOCTYPE deliverable SYSTEM "../deliverable.dtd">
 
 <deliverable id="D3.a">
- <name>Metadata for Mathematics.</name>
+ <name>Metadata for Mathematical Libraries.</name>
+ <working-package file="metadata"/>
+ <leader-site file="dfki"/>
+ <extimated-person-month value="9"/>
+ <type value="report"/>
+ <to-be-delivered>Month 12</to-be-delivered>
 </deliverable>