lambdadelta1 is now dated with release date of \lambda\delta version 1

diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib
index 4a2c151f32e64c9cc7d23b57885f661ac973a6cd..57012db167839892bd064124edd75b1eb3e5527b 100644 (file)
--- a/helm/www/lambdadelta/download/lambdadelta.bib
+++ b/helm/www/lambdadelta/download/lambdadelta.bib
@@ -72,7 +72,7 @@
    author="F. {Guidi}",
    title="{lambdadelta\_1}",
    howpublished="Formal specification with the proof assistant Coq 7.3.1",
-   year="2007",
-   month="January",
+   year="2006",
+   month="November",
    note="Available at the $\lambda\delta$ Web site: {http://lambdadelta.info/}"
 }

diff --git a/helm/www/lambdadelta/download/lambdadelta.txt b/helm/www/lambdadelta/download/lambdadelta.txt
index 4a2c151f32e64c9cc7d23b57885f661ac973a6cd..57012db167839892bd064124edd75b1eb3e5527b 100644 (file)
--- a/helm/www/lambdadelta/download/lambdadelta.txt
+++ b/helm/www/lambdadelta/download/lambdadelta.txt
@@ -72,7 +72,7 @@
    author="F. {Guidi}",
    title="{lambdadelta\_1}",
    howpublished="Formal specification with the proof assistant Coq 7.3.1",
-   year="2007",
-   month="January",
+   year="2006",
+   month="November",
    note="Available at the $\lambda\delta$ Web site: {http://lambdadelta.info/}"
 }