X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fproposal%2Fproject-objectives.xml;h=554222c545e2b22b3d0df69dbded0bb3b6911d15;hb=12cb072c7bbb5119f4328f637add61ae2228b8c7;hp=f0677cb40e09007957815b24ddeb114d8b72f148;hpb=3c0935bbe8944fdee235fcaf4a4b2e6231363bfe;p=helm.git
diff --git a/helm/mowgli/home/xml/proposal/project-objectives.xml b/helm/mowgli/home/xml/proposal/project-objectives.xml
index f0677cb40..554222c54 100644
--- a/helm/mowgli/home/xml/proposal/project-objectives.xml
+++ b/helm/mowgli/home/xml/proposal/project-objectives.xml
@@ -14,7 +14,7 @@