Deliverables added.

[helm.git] / helm / mowgli / home / xml / deliverables / transformation / d2d.xml

diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2d.xml b/helm/mowgli/home/xml/deliverables/transformation/d2d.xml
new file mode 100644 (file)
index 0000000..61cfb18
--- /dev/null
+++ b/helm/mowgli/home/xml/deliverables/transformation/d2d.xml
@@ -0,0 +1,7 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE deliverable SYSTEM "../deliverable.dtd">
+
+<deliverable id="D2.d">
+ <name>Stylesheets to intermediate representation (proofs).</name>
+</deliverable>