we restored the scripts of \lambda\delta version 1

[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 2bab97a07446ac1a53cb96bfc51d5d64002cc39c..2206980bb7ef01b9d04f90665eed1081bc2d4012 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -84,7 +84,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="2012-10"/>).
+         (revised <notice class="delta" notice="2015-01"/>).
           Source scripts.
        </body>      
        <body>