]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/deliverables/metadata/d3a.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / deliverables / metadata / d3a.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE deliverable SYSTEM "../deliverable.dtd">
4
5 <deliverable id="D3.a">
6  <name>Metadata for Mathematical Libraries.</name>
7  <working-package file="metadata"/>
8  <leader-site file="dfki"/>
9  <extimated-person-month value="9"/>
10  <type value="report"/>
11  <to-be-delivered>Month 12</to-be-delivered>
12 </deliverable>