- update in basic_2

[helm.git] / helm / www / lambdadelta / download / lambdadelta.bib

diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib
index 147f0a51a7c84b0b145f1aebc338e1d77bec14b8..ee6c4e6ee8e0364d0a3cb4beae6b8da10bcd2387 100644 (file)
--- 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/$>$"
 }