X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=a74a3a701e8fe4f38f8dc4ccab5007ab752e6651;hb=88dd0e28758c693660a93ee0a9a5202c61ca09a0;hp=c52739fe9a73c19c39497252ca45b55bee4b8661;hpb=0c7cb3c503c0fcab104ad89ebc88683dc9830d06;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index c52739fe9..a74a3a701 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Thu, 09 Jun 2016 16:46:47 +0200
+
Last update: Mon, 27 Jun 2016 20:56:29 +0200