X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambdadelta%2Fversion_1.html;h=df8736bf6253ebc52e3aa0f77533d3aac3d1e87b;hb=33f8507cadd3b36dc9afa227d8968dda66fe2034;hp=e62b68ee98f0c0aa5c0e3d4673038b2cffa49b29;hpb=bda6d964ce9729a694e3fd3ead386ca9f2ca14e3;p=helm.git diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html index e62b68ee9..df8736bf6 100644 --- a/helm/www/lambdadelta/version_1.html +++ b/helm/www/lambdadelta/version_1.html @@ -30,19 +30,19 @@
+ | home | -+ | news | -+ | documentation | -+ | implementation | -(specifications - library - Helena) | +(specifications - library - Helena) |
@@ -167,6 +167,6 @@
Last update: Sun, 20 Jul 2014 16:13:31 +0200
+ Last update: Fri, 12 Sep 2014 20:28:32 +0200
|