- some consequences of preservation added

[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 88abedf812915ada5a006b560996f34c227180f3..816bface5313aadbc0e29519ea86efa762976547 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-09"/>).
+      (revised <date date="2014-10"/>).
       Source scripts.
    </topitem>