X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fhome.html;h=97eba933c166ec6e08f6b86c0ff22bd6de24645b;hb=614542345e3e9c88722fdbc32c24a14b9a6c71d1;hp=2fdf11e9f1f8eaccf048cfa8cfb81885461fcaea;hpb=f82a900182012664dd58eb1d8ab012c2a6f541ab;p=helm.git diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index 2fdf11e9f..97eba933c 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -290,6 +290,6 @@

-
Last update: Thu, 22 Sep 2016 15:52:42 +0200
+
Last update: Mon, 16 Jan 2017 12:25:24 +0100