X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fhome.html;h=e783eabc6b91873b0cd1e6193f381b4c9e0f8708;hb=1e89c373698e2b5e55661291f25dc5238e9f13fd;hp=e887223c3e71c97e6b8e45fdbd9f37c217b4b97e;hpb=52616a7a6a550efd75ed56e7e246132453506002;p=helm.git diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index e887223c3..e783eabc6 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -290,6 +290,6 @@

-
Last update: Thu, 19 Jan 2017 19:22:38 +0100
+
Last update: Sat, 21 Jan 2017 15:35:26 +0100