X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=d07a8b9778739c58e71b814f630e5238b0d888f2;hb=9b75ad80a3ee31314c02f113b255ad533a87d3d2;hp=c4fd0e37fa559d08bbf88b723cd6abb23d834ed3;hpb=25a789c7374bff86f42673e330b8b435fa3b7d68;p=helm.git diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index c4fd0e37f..d07a8b977 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -30,19 +30,19 @@
+ | home | -+ | news | -+ | documentation | -+ | implementation | -(specifications - library - Helena) | +(specifications - library - Helena) |
@@ -161,7 +161,7 @@ | V2. | -F. Guidi: lambdadelta_2 (revised 2014-08). Formal specification for the proof assistant Matita 0.99.2 (scripts). BibTeX entry. | +F. Guidi: lambdadelta_2 (revised 2014-10). Formal specification for the proof assistant Matita 0.99.2 (scripts). BibTeX entry. | ||||||
@@ -333,6 +333,6 @@ |