X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Ftransformation.xml;h=b10948fdeb9f3691bb0149c24e0ce16575763b74;hb=2f3cd07536c7abacd73d144c9f033503457522d5;hp=c8f64693dd43a23f5ab5950f350edd6807637296;hpb=52ee33174ed91376a8cb67e9b1d95a82027ca764;p=helm.git diff --git a/helm/mowgli/home/xml/work-packages/transformation.xml b/helm/mowgli/home/xml/work-packages/transformation.xml index c8f64693d..b10948fde 100644 --- a/helm/mowgli/home/xml/work-packages/transformation.xml +++ b/helm/mowgli/home/xml/work-packages/transformation.xml @@ -78,13 +78,13 @@ - - - - - - - + + + + + + +

The exportation module D2.a. is our first milestone: without a large amount of available documents it