X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fversion_2.html;h=4335535eda72e23c9efcc4c1e1582a29d9712b80;hb=060864edadf332c07663e85bdc2299ee64e191ee;hp=e8b2cd74a7821a1687284c3c9c9cbbfa7b244281;hpb=25a789c7374bff86f42673e330b8b435fa3b7d68;p=helm.git diff --git a/helm/www/lambdadelta/version_2.html b/helm/www/lambdadelta/version_2.html index e8b2cd74a..4335535ed 100644 --- a/helm/www/lambdadelta/version_2.html +++ b/helm/www/lambdadelta/version_2.html @@ -30,19 +30,19 @@
+ | home | -+ | news | -+ | documentation | -+ | implementation | -(specifications - library - Helena) | +(specifications - library - Helena) |
@@ -91,7 +91,7 @@
Last update: Wed, 06 Aug 2014 20:50:29 +0200
+ Last update: Thu, 02 Oct 2014 22:32:44 +0200
|