X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdownload%2Flambdadelta.bib;h=ee6c4e6ee8e0364d0a3cb4beae6b8da10bcd2387;hb=b7395f3e72f7c8db2d81ef8abc8549695c089eca;hp=147f0a51a7c84b0b145f1aebc338e1d77bec14b8;hpb=d867d4f21d89308c02d06db83005b91241bc6171;p=helm.git

diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib
index 147f0a51a..ee6c4e6ee 100644
--- a/helm/www/lambdadelta/download/lambdadelta.bib
+++ b/helm/www/lambdadelta/download/lambdadelta.bib
@@ -5,7 +5,7 @@
    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/$>$"
 }