X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fversion_2.html;h=48b636ddb2c7b12e0c07553a54d6c046bfa36593;hb=01efd2c88dd65ba5dbf9c946000b5d03a98acad8;hp=63e5d7506401790f5fabc82b6136e24a51d3fa62;hpb=ddd6cb6f4514d9ca97f857cafa218c170222f5aa;p=helm.git diff --git a/helm/www/lambdadelta/version_2.html b/helm/www/lambdadelta/version_2.html index 63e5d7506..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: Tue, 05 Aug 2014 23:07:40 +0200
+ Last update: Fri, 12 Sep 2014 20:28:32 +0200
|