X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=f967d51da3f2ffcbb4b998b1ba2af04889ce4667;hb=7e80b8d7a4b2c38729512dee28b3e0ecf9595c2a;hp=c8646e3e5fff0f6bf3438c6b4fd7fd19843ff5f2;hpb=286f7302d857a8a6674e1cf66fa1b1a1527dd1ac;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index c8646e3e5..f967d51da 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -258,6 +258,6 @@

-
Last update: Fri, 08 Apr 2016 22:51:19 +0200
+
Last update: Thu, 19 May 2016 12:17:40 +0200