- contrib update for version 2

[helm.git] / helm / www / lambdadelta / web / home / version_2.ldw.xml

diff --git a/helm/www/lambdadelta/web/home/version_2.ldw.xml b/helm/www/lambdadelta/web/home/version_2.ldw.xml
index b760295a3b62fa48e2681437c8529aa4f70aaaef..88abedf812915ada5a006b560996f34c227180f3 100644 (file)
--- a/helm/www/lambdadelta/web/home/version_2.ldw.xml
+++ b/helm/www/lambdadelta/web/home/version_2.ldw.xml
@@ -16,7 +16,7 @@
 
    <topitem name="source">
       <rlink to="download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</rlink>
-      (revised <date date="2014-08"/>).
+      (revised <date date="2014-09"/>).
       Source scripts.
    </topitem>