X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fproject.xml;h=b52b45e136dcc0196f76cfd400dc3fe359deaefe;hb=9cc266a6602dc14130e8cc63abe8ee8bb28e0cb0;hp=348a636f093aee2292a039d87f11b6b9e425b2d5;hpb=8fed5617e959378f9c6a4939b0a13ac5ebde4cfe;p=helm.git diff --git a/helm/mowgli/home/xml/project.xml b/helm/mowgli/home/xml/project.xml index 348a636f0..b52b45e13 100644 --- a/helm/mowgli/home/xml/project.xml +++ b/helm/mowgli/home/xml/project.xml @@ -1,13 +1,22 @@ + + + + + + + + ]> @@ -17,4 +26,22 @@ IST IST-2001-33562 MOWGLI ??? + + + + + + + +