X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fhome.html;h=e783eabc6b91873b0cd1e6193f381b4c9e0f8708;hb=1e89c373698e2b5e55661291f25dc5238e9f13fd;hp=e887223c3e71c97e6b8e45fdbd9f37c217b4b97e;hpb=52616a7a6a550efd75ed56e7e246132453506002;p=helm.git diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index e887223c3..e783eabc6 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -290,6 +290,6 @@