]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/deliverables/interfaces/d4d.xml
Deliverables added.
[helm.git] / helm / mowgli / home / xml / deliverables / interfaces / d4d.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE deliverable SYSTEM "../deliverable.dtd">
4
5 <deliverable id="D4.d">
6  <name>LaTeX-based authoring tool (first prototype).</name>
7 </deliverable>