]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/deliverables/testing-and-validation/d6c.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / deliverables / testing-and-validation / d6c.xml
index 1ace1ab5e423d080b1710038cbe909f530aee925..0a840000b28eb0621e1056b35469fad25531f5e0 100644 (file)
@@ -3,6 +3,10 @@
 <!DOCTYPE deliverable SYSTEM "../deliverable.dtd">
 
 <deliverable id="D6.c">
- <name>Validation 3: Journal interface with added functionalities due to
-       content markup, e.g. search interface.</name>
+ <name>Validation 3: Journal interface.</name>
+ <working-package file="testing-and-validation"/>
+ <leader-site file="aei"/>
+ <extimated-person-month value="14"/>
+ <type value="prototype"/>
+ <to-be-delivered>Month 30</to-be-delivered>
 </deliverable>