ground_2 released and permanently renamed as ground

[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 682bbda3b686479dc161747acc2be3ef96ec0871..4ee9bb46b3a4dd73c560d6e38a15ecd2b4b27e9f 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -24,7 +24,7 @@
        subsequent improvements occur until the specification is completed or superseded,
        while major changes and additions are announced and reported on paper.
        <notice class="delta" text="Delta:"/>
-      after its conclusion, the specification is modified just for maintenance. 
+      after its conclusion, the specification is modified just for maintenance.
     </body>
     <table name="versions"/>
  
@@ -41,7 +41,7 @@
        <notice class="alpha" text="Notice on displayed numerical acounts:"/>
        nodes are counted according to the "intrinsic complexity measure"
        [F. Guidi: "Procedural Representation of CIC Proof Terms"
-      Journal of Automated Reasoning 44(1-2), Springer (February 2010), pp. 53-78].       
+      Journal of Automated Reasoning 44(1-2), Springer (February 2010), pp. 53-78].
     </topitem>
     <topitem name="notice2">
        <notice class="alpha" text="Notice on displayed logical structures:"/>
@@ -81,15 +81,18 @@
           <rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
           <list><item>
              <notice class="gamma" text="2020-02-27."/>
-            repackaged without λδ-ground-2. 
+            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>
+         The scriprs depend on the package
+         <rlink to="html/specification.html#source2g">lambdadelta_ground</rlink>.
+      </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>.
@@ -104,7 +107,7 @@
           <rlink to="html/documentation.html#ldR2c">Documentation (R2c)</rlink>.
           <list><item>
              <notice class="delta" text="2020-02-27."/>
-            repackaged on the basis of λδ-ground-2. 
+            repackaged on the basis of λδ-ground_2.
           </item><item>
              <notice class="delta" text="2019-11-20."/>
              repackaged (was lambdadelta_2A1).
@@ -113,6 +116,10 @@
              released [Git revision: 2014-10-28 17:46:26].
           </item></list>
        </body>
+      <body>
+         The scriprs depend on the package
+         <rlink to="html/specification.html#source2g">lambdadelta_ground</rlink>.
+      </body>
        <body>
           Informational pages on the parts of the specification:
           <rlink to="html/basic_2A.html">Core</rlink>.
@@ -121,7 +128,7 @@
  
     <topitem name="source2g">
        <body>
-         <rlink to="download/lambdadelta_ground.tar.bz2">lambdadelta_ground for Matita 0.99.4</rlink>
+         <rlink to="download/lambdadelta_ground.tar.bz2">lambdadelta_ground for Matita 0.99.2</rlink>
           (revised <notice class="gamma" text="2020-02"/>).
           Source scripts.
           <list><item>
@@ -135,7 +142,6 @@
        </body>
     </topitem>
  
-
  <!-- VERSION 1 =========================================================== -->
  
     <subsection name="v1"><img logo="ld1"/>λδ version 1 (superseded)</subsection>
@@ -157,7 +163,7 @@
              <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>
        <body>
           Informational pages on the parts of the specification:
           <rlink to="html/ground_1.html">Background</rlink>,
@@ -168,7 +174,7 @@
     <topitem name="static1A">
        <rlink to="static/matita/lambdadelta/">lambdadelta_1A for Matita 0.5</rlink>
        (revised <notice class="delta" text="2019-11"/>).
-      Static HTML pages generated by the <link to="http://helm.cs.unibo.it/">HELM</link> rendering engine.  
+      Static HTML pages generated by the <link to="http://helm.cs.unibo.it/">HELM</link> rendering engine.
        <list><item>
           <rlink to="static/matita/lambdadelta/basic_1/pr3/pr3/pr3_confluence.con.html">
              Confluence of reduction</rlink>