]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/deliverables/transformation/d2f.xml
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Deliverables added.
[helm.git] / helm / mowgli / home / xml / deliverables / transformation / d2f.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE deliverable SYSTEM "../deliverable.dtd">
4
5 <deliverable id="D2.f">
6  <name>Presentational Stylesheets (proofs).</name>
7 </deliverable>
Unnamed repository; edit this file 'description' to name the repository.