X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fdownload%2Flambdadelta.txt;h=40e329c0fdae025288eca59504befeafe5b90ca0;hb=d6d8c70140357a4ed1f42a2f941234e26752e4dc;hp=147f0a51a7c84b0b145f1aebc338e1d77bec14b8;hpb=bda6d964ce9729a694e3fd3ead386ca9f2ca14e3;p=helm.git

diff --git a/helm/www/lambdadelta/download/lambdadelta.txt b/helm/www/lambdadelta/download/lambdadelta.txt
index 147f0a51a..40e329c0f 100644
--- a/helm/www/lambdadelta/download/lambdadelta.txt
+++ b/helm/www/lambdadelta/download/lambdadelta.txt
@@ -1,11 +1,11 @@
-% \lambda\delta version 2 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 @misc{lambdadeltaV2,
    author="F. {Guidi}",
    title="{lambdadelta\_2}",
    howpublished="Formal specification for the proof assistant Matita 0.99.2",
    year="2014",
-   month="July",
+   month="October",
    note="Available at the $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$"
 }
 
@@ -32,7 +32,7 @@
    month="September"
 }
 
-% \lambda\delta version 1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% \lambda\delta version 1 (superseded) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 @article{lambdadeltaJ1,
    author="F. {Guidi}",