lambdadelta_1 updated with new part names

[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..9712c9a83a58685fcfd3a679034c17deaed95fff 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -84,8 +84,12 @@
     <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.
+         <list><item>
+            <notice class="delta" notice="2015 January 15."/>
+            17 new lemmas and former lemma "eq_nat_dec" renamed as "nat_dec_neg".
+         </item></list>
        </body>      
        <body>
           The scripts are grouped in directories, one for each part.