]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/requirement-analysis.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / work-packages / requirement-analysis.xml
index 42fe780a0467d9461761a2c229403eb87ff132b0..996fce7e0ab133f11d95be64292c643021b18a36 100644 (file)
@@ -6,6 +6,7 @@
  <name>Requirement Analysis</name>
  <begin>Month 0</begin>
  <end>Month 6</end>
+ <leader file="nijmegen/geuvers"/>
  <person-month participant="bologna" number="3"/>
  <person-month participant="inria" number="4"/>
  <person-month participant="dfki" number="3"/>