X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fhome.html;h=8843b9833d02ad4630d136c44ada73fa98555356;hb=f51ead46bde4e49bbaf4925dea9f9e9bfaecb255;hp=00f10e5bfe334eccc9e13e125c98e8df851fabd1;hpb=38571b4c3881f2b59b7a2cdd016c83b161d3d755;p=helm.git diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index 00f10e5bf..8843b9833 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -290,6 +290,6 @@

-
Last update: Sun, 19 Feb 2017 16:52:45 +0100
+
Last update: Sun, 19 Feb 2017 19:57:16 +0100