]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/interfaces.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / work-packages / interfaces.xml
index 42a14a2b3cdd315577269082474001d18acc3729..b8ca886fd2f313a58c360141030c3ba4511771f8 100644 (file)
@@ -6,6 +6,7 @@
  <name>Interfaces</name>
  <begin>Month 3</begin>
  <end>Month 24</end>
+ <leader file="inria/pottier"/>
  <person-month participant="bologna" number="16"/>
  <person-month participant="inria" number="16"/>
  <person-month participant="dfki" number="5"/>
    </task>
   </tasks>
  </description>
- <deliverable file="D4.a"/>
- <deliverable file="D4.b"/>
- <deliverable file="D4.c"/>
- <deliverable file="D4.d"/>
- <deliverable file="D4.e"/>
+ <deliverable file="interfaces/d4a"/>
+ <deliverable file="interfaces/d4b"/>
+ <deliverable file="interfaces/d4c"/>
+ <deliverable file="interfaces/d4d"/>
+ <deliverable file="interfaces/d4e"/>
  <milestones>
   <p>The main milestone is the release of the first MOWGLI
      prototype, at month 18.</p>