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 5c7813d8312de724f16ec869fc187f16df991a64..b88abf3a1c36290debcf6592226ffdc5ec4156b5 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -7,7 +7,7 @@
  >
     <sitemap name="sitemap"/>
  
-   <section5 name="specifications">Computer-checked formal specifications</section5>
+   <section15 name="specifications">Computer-checked formal specifications</section15>
     <body>
        λδ is developed as a machine-checked digital specification.
        It comes in several versions listed in the next table,
@@ -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.
@@ -88,8 +89,9 @@
     <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.
+         <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".
@@ -136,9 +138,8 @@
  
     <body>
        Informational pages on the parts of the specification:
-<!--      <rlink to="ground_2.html">Background</rlink>, -->
+      <rlink to="ground_1.html">Background</rlink>,
        <rlink to="basic_1.html">Core</rlink>.
-<!--      <rlink to="apps_2.html">Applications</rlink>. -->
     </body>
  
     <footer/>