X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fversion_2.html;h=48b636ddb2c7b12e0c07553a54d6c046bfa36593;hb=01efd2c88dd65ba5dbf9c946000b5d03a98acad8;hp=719331a082330d0af9beff80ffbf0ed846fc6aab;hpb=bda6d964ce9729a694e3fd3ead386ca9f2ca14e3;p=helm.git diff --git a/helm/www/lambdadelta/version_2.html b/helm/www/lambdadelta/version_2.html index 719331a08..48b636ddb 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: Sun, 20 Jul 2014 16:13:31 +0200
+ Last update: Fri, 12 Sep 2014 20:28:32 +0200
|