X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=14c812b5fe9dc93b1ec4d919a09b3fd65a9934e7;hb=25577a78cccba09974c91fcbfea770091a413382;hp=c7badb638589f23e4f4f62a0e34c280b0cb37982;hpb=37e1b4f314ffae815beca71300688040f8da6939;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index c7badb638..14c812b5f 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -69,10 +69,10 @@