X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=888e497ca92836a9ccd40d6ef91caa7003298d01;hb=04ffe68396b98bbf21bcd403ffba03b94eaebadc;hp=dd7ee2462a5695499fa3d7aa72d8f99c0cd172a3;hpb=b665b25cc0b62aa5bd7e90224fe7a28d15e122f2;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index dd7ee2462..888e497ca 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -325,6 +325,6 @@

-
Last update: Sat, 01 Nov 2014 17:50:21 +0100
+
Last update: Tue, 04 Nov 2014 16:28:51 +0100