X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fsites%2Finria.xml;h=ac3f5c23e4114963bfaa030b29e362df2e3eaecd;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=28659d4f9af81d59426db4dc71082b55fb552286;hpb=d8ad1d26122af00feda930086b6cfa42de0139fe;p=helm.git

diff --git a/helm/mowgli/home/xml/sites/inria.xml b/helm/mowgli/home/xml/sites/inria.xml
index 28659d4f9..ac3f5c23e 100644
--- a/helm/mowgli/home/xml/sites/inria.xml
+++ b/helm/mowgli/home/xml/sites/inria.xml
@@ -62,7 +62,7 @@
  </description>
  <project>
   <name>Lemme</name>
-  <url>???</url>
+  <url>http://www-sop.inria.fr/lemme</url>
   <member file="inria/rideau"/>
   <member file="inria/naciri"/>
   <member file="inria/pottier"/>