]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/deliverables/transformation/d2f.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / deliverables / transformation / d2f.xml
index 4f3c93fb72dac5d67b706122bd6709f06ec7edf1..5ee0a5fad43b123ef686d78028bd73078abc9260 100644 (file)
@@ -4,4 +4,9 @@
 
 <deliverable id="D2.f">
  <name>Presentational Stylesheets (proofs).</name>
+ <working-package file="transformation"/>
+ <leader-site file="nijmegen"/>
+ <extimated-person-month value="6"/>
+ <type value="prototype"/>
+ <to-be-delivered>Month 18</to-be-delivered>
 </deliverable>