]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/deliverables/testing-and-validation/d6a.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / deliverables / testing-and-validation / d6a.xml
index c88d4ca57c141a168f9dc6ef7fbcfd3a6a95147c..d2a60b7b5166e55198ab40c059f65e1e2ab406a5 100644 (file)
@@ -4,4 +4,9 @@
 
 <deliverable id="D6.a">
  <name>Validation 1: Education.</name>
+ <working-package file="testing-and-validation"/>
+ <leader-site file="nijmegen"/>
+ <extimated-person-month value="16"/>
+ <type value="report"/>
+ <to-be-delivered>Month 30</to-be-delivered>
 </deliverable>