milestone update in ground_2 and basic_2A

[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 3b7e71aa585fb68b602d8de84326c96aba95fd3f..682bbda3b686479dc161747acc2be3ef96ec0871 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -67,19 +67,6 @@
        is available in the following formats.
     </body>
  
-   <body>
-      Informational pages on the parts of the specification:
-      <rlink to="html/ground_2.html">Background</rlink>,
-      <rlink to="html/static_2.html">Syntax</rlink>,
-      <rlink to="html/basic_2.html">Core</rlink>,
-      <rlink to="html/apps_2.html">Applications</rlink>.
-   </body>
-
-   <body>
-      <notice class="alpha" text="Notice:"/>
-      The scripts are grouped in directories, first by part, then by component.
-   </body>
-
     <body>
        <notice class="alpha" text="Notice:"/>
        the scripts are checked by the latest version of Matita from
@@ -89,25 +76,66 @@
     <topitem name="source2B">
        <body>
           <rlink to="download/lambdadelta_2B.tar.bz2">lambdadelta_2B for Matita 0.99.4</rlink>
-         (revised <notice class="gamma" text="2019-11"/>).
-         Source scripts [Git revision: 2019-11-19 20:45:15].
+         (revised <notice class="gamma" text="2020-02"/>).
+         Source scripts.
           <rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
+         <list><item>
+            <notice class="gamma" text="2020-02-27."/>
+            repackaged without λδ-ground-2. 
+         </item><item>
+            <notice class="gamma" text="2019-11-19."/>
+            released [Git revision: 2019-11-19 20:45:15].
+         </item></list>
        </body>
+      <body>
+         Informational pages on the parts of the specification:
+         <rlink to="html/ground_2.html">Background</rlink>,
+         <rlink to="html/static_2.html">Syntax</rlink>,
+         <rlink to="html/basic_2.html">Core</rlink>,
+         <rlink to="html/apps_2.html">Applications</rlink>.
+   </body>
     </topitem>
  
     <topitem name="source2A">
        <body>
           <rlink to="download/lambdadelta_2A.tar.bz2">lambdadelta_2A for Matita 0.99.2</rlink>
-         (revised <notice class="delta" text="2019-11"/>).
-         Source scripts [Git revision: 2014-10-28 17:46:26].
+         (revised <notice class="delta" text="2020-02"/>).
+         Source scripts.
           <rlink to="html/documentation.html#ldR2c">Documentation (R2c)</rlink>.
           <list><item>
-            <notice class="delta" text="2019 November 20."/>
-            repackaging (was lambdadelta_2A1).
+            <notice class="delta" text="2020-02-27."/>
+            repackaged on the basis of λδ-ground-2. 
+         </item><item>
+            <notice class="delta" text="2019-11-20."/>
+            repackaged (was lambdadelta_2A1).
+         </item><item>
+            <notice class="gamma" text="2014-10-28."/>
+            released [Git revision: 2014-10-28 17:46:26].
+         </item></list>
+      </body>
+      <body>
+         Informational pages on the parts of the specification:
+         <rlink to="html/basic_2A.html">Core</rlink>.
+      </body>
+   </topitem>
+
+   <topitem name="source2g">
+      <body>
+         <rlink to="download/lambdadelta_ground.tar.bz2">lambdadelta_ground for Matita 0.99.4</rlink>
+         (revised <notice class="gamma" text="2020-02"/>).
+         Source scripts.
+         <list><item>
+            <notice class="gamma" text="2020-02-27."/>
+            released [Git revision: 2014-10-28 17:46:26].
           </item></list>
        </body>
+      <body>
+         Informational pages on the parts of the specification:
+         <rlink to="html/ground_2.html">Core</rlink>.
+      </body>
     </topitem>
  
+
  <!-- VERSION 1 =========================================================== -->
  
     <subsection name="v1"><img logo="ld1"/>λδ version 1 (superseded)</subsection>
@@ -116,17 +144,6 @@
        is available in the following formats.
     </body>
  
-   <body>
-      Informational pages on the parts of the specification:
-      <rlink to="html/ground_1.html">Background</rlink>,
-      <rlink to="html/basic_1.html">Core</rlink>.
-   </body>
-
-   <body>
-      <notice class="alpha" text="Notice:"/>
-      The scripts are grouped in directories, one for each part.
-   </body>
-
     <topitem name="source1A">
        <body>
           <rlink to="download/lambdadelta_1A.tar.bz2">lambdadelta_1A for Coq 7.3.1</rlink>
@@ -134,13 +151,18 @@
           Source scripts.
           <rlink to="html/documentation.html#ldJ1a">Documentation (J1a)</rlink>.
           <list><item>
-            <notice class="delta" text="2019 November 20."/>
+            <notice class="delta" text="2019-11-20."/>
              repackaging (was lambdadelta_1).
           </item><item>
-            <notice class="delta" text="2015 January 15."/>
+            <notice class="delta" text="2015-01-15."/>
              17 new lemmas and former lemma "eq_nat_dec" renamed as "nat_dec_neg".
           </item></list>
        </body>      
+      <body>
+         Informational pages on the parts of the specification:
+         <rlink to="html/ground_1.html">Background</rlink>,
+         <rlink to="html/basic_1.html">Core</rlink>.
+      </body>
     </topitem>
  
     <topitem name="static1A">