]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / work-packages / information-dissemination-and-exploitation.xml
index 0f3b15ec305faf253b2311af61061169b105aa06..fe427b1a93f632795edc8f598b8646c6ceaf5ed9 100644 (file)
@@ -6,6 +6,7 @@
  <name>Information Dissemination and Exploitation</name>
  <begin>Month 3</begin>
  <end>Month 30</end>
+ <leader file="aei/wegner"/>
  <person-month participant="bologna" number="1"/>
  <person-month participant="inria" number="0"/>
  <person-month participant="dfki" number="0"/>