X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fhome.html;h=bf312f8ef8b67b71574cb55c001b11708b443ef8;hb=b7de6afb9d3260ffea86ddf824e497419e1b56fb;hp=7995f2bc805549c00135aec73a38ae5dbdf1d642;hpb=4ce795bb1d356e2565c14087b933adaccfc81dcd;p=helm.git diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index 7995f2bc8..bf312f8ef 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -297,6 +297,6 @@

-
Last update: Tue, 17 Oct 2017 17:26:51 +0200
+
Last update: Tue, 17 Oct 2017 20:34:21 +0200