X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=ea9e12c41b1c4997e1f9c1f0d95f54a2817f7efc;hb=b4b18a8f2c3f33fe49edef3bc8068332edf299e2;hp=b3e330c9fe9867b7b1618e0c1ca59bd1f30bab08;hpb=503426723b9fc786c69dc988d38726997ecb809a;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index b3e330c9f..ea9e12c41 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -186,7 +186,7 @@