]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/version_2.ldw.xml
- contrib update for version 2
[helm.git] / helm / www / lambdadelta / web / home / version_2.ldw.xml
index 9c002c7c96a90788738f16001172286f31c8c7e0..88abedf812915ada5a006b560996f34c227180f3 100644 (file)
@@ -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-09"/>).
       Source scripts.
    </topitem>