]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/testing-and-validation.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / work-packages / testing-and-validation.xml
index 3bd3982e8c68b16b2ac091260778e4158a9b610a..bbdd09cb9cf331eb8bbc7c918a839fa7e121fce3 100644 (file)
@@ -6,6 +6,7 @@
  <name>Testing and Validation</name>
  <begin>Month 12</begin>
  <end>Month 30</end>
+ <leader file="nijmegen/geuvers"/>
  <person-month participant="bologna" number="5"/>
  <person-month participant="inria" number="6"/>
  <person-month participant="dfki" number="3"/>