X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fproposal%2Fproject-objectives.xml;h=554222c545e2b22b3d0df69dbded0bb3b6911d15;hb=d2c60bae1c4badba0a0f29e3fd2faed6d3a1869e;hp=758157ba6e2ee5e468ab677e957b64f1607baf60;hpb=c0ef103faa0db4be862663486ed7b79d7f3ae7fb;p=helm.git
diff --git a/helm/mowgli/home/xml/proposal/project-objectives.xml b/helm/mowgli/home/xml/proposal/project-objectives.xml
index 758157ba6..554222c54 100644
--- a/helm/mowgli/home/xml/proposal/project-objectives.xml
+++ b/helm/mowgli/home/xml/proposal/project-objectives.xml
@@ -10,14 +10,14 @@
@@ -140,14 +140,14 @@