X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=20833265c179d4cbf59bacb04b904edf263036db;hb=325319a6c28fd8c3992cdb0be745b0c7ca8651c3;hp=f6d02442e85f0305e74634a95e25da6d73f60c1a;hpb=4b72bec9d6fc7970cf4a2bc4a1fc4060e71af3f2;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index f6d02442e..20833265c 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -198,6 +198,6 @@

-
Last update: Sun, 06 Jul 2014 22:50:18 +0200
+
Last update: Mon, 07 Jul 2014 23:14:51 +0200