X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=bdb4df1b622561375ae30e7eaf0cda262c52565b;hb=51b414e3a6f7404b16cab112e94f57aaa94a5239;hp=cd71c9ea7046f2b56a36a8d550f226e8f27eafd4;hpb=6167cca50de37eba76a062537b24f7caef5b34f2;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index cd71c9ea7..bdb4df1b6 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Mon, 13 Nov 2017 18:11:07 +0100
+
Last update: Tue, 14 Nov 2017 16:10:26 +0100