web site update

[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 857516bcd66077257ddb2fd5fe583d968e714724..b88abf3a1c36290debcf6592226ffdc5ec4156b5 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -55,9 +55,10 @@
  
     <topitem name="source2">
        <body>
-         <rlink to="download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</rlink>
+         <rlink to="download/lambdadelta_2A1.tar.gz">lambdadelta_2A1 for Matita 0.99.2</rlink>
           (revised <notice class="gamma" notice="2014-10"/>).
           Source scripts.
+         <rlink to="documentation.html#ldR2c">Documentation (R2c)</rlink>.
        </body>
        <body>
           The scripts are grouped in directories, first by part, then by component.
@@ -90,6 +91,7 @@
           <rlink to="download/lambdadelta_1.tar.gz">lambdadelta_1 for Coq 7.3.1</rlink>
           (revised <notice class="delta" notice="2015-09"/>).
           Source scripts.
+         <rlink to="documentation.html#ldJ1a">Documentation (J1a)</rlink>.
           <list><item>
              <notice class="delta" notice="2015 January 15."/>
              17 new lemmas and former lemma "eq_nat_dec" renamed as "nat_dec_neg".