X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=77f2496730e36dd3472f3724327c60c1aeef6e8c;hb=06531086fc492d0fd374ada30e116b56a5eff957;hp=03330fc47e3a729ff8ef2bef924d7df368bdc0ce;hpb=e2b4ff64df523b4be9d7dc4e92386945846426e7;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 03330fc47..77f249673 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Thu, 02 Mar 2017 17:01:45 +0100
+
Last update: Sun, 05 Mar 2017 18:09:41 +0100