X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fhome.html;h=579c245dc5111f4e45b683b65e5af0a226d9fcbc;hb=ab8006e4e28764820462d5963b0e87c210376ccd;hp=bf6d9cd50874a8737268cb72011c8591fb4fc1a5;hpb=10b733131aa2667d8ba4318d517f0ba3cf137359;p=helm.git diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index bf6d9cd50..579c245dc 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -290,6 +290,6 @@

-
Last update: Sun, 05 Mar 2017 18:09:41 +0100
+
Last update: Mon, 06 Mar 2017 23:23:02 +0100