X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fhome.html;h=579c245dc5111f4e45b683b65e5af0a226d9fcbc;hb=ab8006e4e28764820462d5963b0e87c210376ccd;hp=bf6d9cd50874a8737268cb72011c8591fb4fc1a5;hpb=10b733131aa2667d8ba4318d517f0ba3cf137359;p=helm.git diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index bf6d9cd50..579c245dc 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -290,6 +290,6 @@