]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/transformation.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / work-packages / transformation.xml
index c8f64693dd43a23f5ab5950f350edd6807637296..972abe1a2bc3cf4f52ac8507490d26f9a85fce17 100644 (file)
@@ -6,6 +6,7 @@
  <name>Transformation</name>
  <begin>Month 0</begin>
  <end>Month 21</end>
+ <leader file="bologna/sacerdoti"/>
  <person-month participant="bologna" number="13"/>
  <person-month participant="inria" number="4"/>
  <person-month participant="dfki" number="3"/>
    </task>
   </tasks>
  </description>
- <deliverable file="D2.a"/>
- <deliverable file="D2.b"/>
- <deliverable file="D2.c"/>
- <deliverable file="D2.d"/>
- <deliverable file="D2.e"/>
- <deliverable file="D2.f"/>
- <deliverable file="D2.g"/>
+ <deliverable file="transformation/d2a"/>
+ <deliverable file="transformation/d2b"/>
+ <deliverable file="transformation/d2c"/>
+ <deliverable file="transformation/d2d"/>
+ <deliverable file="transformation/d2e"/>
+ <deliverable file="transformation/d2f"/>
+ <deliverable file="transformation/d2g"/>
  <milestones>
   <p>The exportation module D2.a. is our first
      milestone: without a large amount of available documents it