scripts for lambdadelta_1 updated with minor corrections

[helm.git] / helm / www / lambdadelta / web / home / specification.ldw.xml
diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml

index 407dc8054550060e7fe9688a9863bfd28db68804..857516bcd66077257ddb2fd5fe583d968e714724 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -88,7 +88,7 @@
     <topitem name="source1">
        <body>
           <rlink to="download/lambdadelta_1.tar.gz">lambdadelta_1 for Coq 7.3.1</rlink>
-         (revised <notice class="delta" notice="2015-01"/>).
+         (revised <notice class="delta" notice="2015-09"/>).
           Source scripts.
           <list><item>
              <notice class="delta" notice="2015 January 15."/>