X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Flibrary.shtml;h=d065b7a9f643a104aac62d96577f14daf08ea5d7;hb=fdf7649cd98c08e6153f08ae5831191d9cbf1574;hp=e5aa7316e315c3866df00667cde42928cbcb5c4e;hpb=c6ebbcf8350dcf0b8020c9fcea27d7d9336df463;p=helm.git

diff --git a/helm/www/matita/library.shtml b/helm/www/matita/library.shtml
index e5aa7316e..d065b7a9f 100644
--- a/helm/www/matita/library.shtml
+++ b/helm/www/matita/library.shtml
@@ -42,7 +42,7 @@
        <p>The CerCo project is a FET Open IST project funded by the EU
           community in the 7th Framework Programme. More informations on the
           project and the code of the Matita formalization can be found
-          on the <a href="cerco.cs.unibo.it">CerCo Web site</a>
+          on the <a href="http://cerco.cs.unibo.it">CerCo Web site</a>
        </p>
 
       <h2>The Basic Picture<a name="sambin"></a></h2>