]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/project-management.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / work-packages / project-management.xml
index 10674e31cf95e13a1235a5082bb59ae9e6c6119e..645d2beaf09cea2b7190c02e0e9ad333a1ad7617 100644 (file)
@@ -6,6 +6,7 @@
  <name>Project Management</name>
  <begin>Month 0</begin>
  <end>Month 30</end>
+ <leader file="bologna/asperti"/>
  <person-month participant="bologna" number="8"/>
  <person-month participant="inria" number="0"/>
  <person-month participant="dfki" number="0"/>