X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=cd48d35d4c1fe2d24dac1b2f0930c013d05095c4;hb=2aa295aa37f8fb274f7b640f7627078d9435cefa;hp=0fb9ca8e2ffeb23323f944a3b4841a51e507d99b;hpb=e586251363da945585f3a39bdffee9a759f36f22;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index 0fb9ca8e2..cd48d35d4 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -79,7 +79,9 @@