]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/metadata.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / work-packages / metadata.xml
index 06ca2ab4b864cf454a71130f4fc792e2e206cb8c..c6eff07a79740f2fd9e0dc2bf347b3dc7ddb51a5 100644 (file)
@@ -6,6 +6,7 @@
  <name>Metadata</name>
  <begin>Month 6</begin>
  <end>Month 21</end>
+ <leader file="dfki/melis"/>
  <person-month participant="bologna" number="3"/>
  <person-month participant="inria" number="3"/>
  <person-month participant="dfki" number="8"/>