X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fdeliverables%2Ftransformation%2Fd2d.xml;h=c6884fb8b5a8ea1133452eae0dc164c9d0974b2b;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=61cfb180750fe5d56cf5de62e340c37dc95f01b9;hpb=2f3cd07536c7abacd73d144c9f033503457522d5;p=helm.git diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2d.xml b/helm/mowgli/home/xml/deliverables/transformation/d2d.xml index 61cfb1807..c6884fb8b 100644 --- a/helm/mowgli/home/xml/deliverables/transformation/d2d.xml +++ b/helm/mowgli/home/xml/deliverables/transformation/d2d.xml @@ -4,4 +4,9 @@ Stylesheets to intermediate representation (proofs). + + + + + Month 12