]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/deliverables/transformation/d2d.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / deliverables / transformation / d2d.xml
index 61cfb180750fe5d56cf5de62e340c37dc95f01b9..c6884fb8b5a8ea1133452eae0dc164c9d0974b2b 100644 (file)
@@ -4,4 +4,9 @@
 
 <deliverable id="D2.d">
  <name>Stylesheets to intermediate representation (proofs).</name>
+ <working-package file="transformation"/>
+ <leader-site file="bologna"/>
+ <extimated-person-month value="9"/>
+ <type value="prototype"/>
+ <to-be-delivered>Month 12</to-be-delivered>
 </deliverable>