- update in basic_2 and ground_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 9c002c7c96a90788738f16001172286f31c8c7e0..b760295a3b62fa48e2681437c8529aa4f70aaaef 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-07"/>).
+      (revised <date date="2014-08"/>).
       Source scripts.
    </topitem>