λδ 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 98dd5f11f0c2f973bc0552c4666410ed7b06b51b..1b9486905620802207277b07081288efab5a68b6 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -81,10 +81,10 @@
           <rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
           <list><item>
              <notice class="gamma" text="2020-12-08."/>
-            repackaged for publication.
+            repackaged for publication [Git revision: 2020-12-08 19:00:50].
           </item><item>
              <notice class="gamma" text="2020-02-27."/>
-            repackaged without λδ-ground_2.
+            repackaged without λδ-ground [Git revision: 2020-02-27 22:45:50].
           </item><item>
              <notice class="gamma" text="2019-11-19."/>
              released [Git revision: 2019-11-19 20:45:15].
@@ -110,10 +110,10 @@
           <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 [Git revision: 2020-02-27 22:45:50].
           </item><item>
              <notice class="delta" text="2019-11-20."/>
-            repackaged (was lambdadelta_2A1).
+            repackaged (was lambdadelta_2A1) [Git revision: 2019-11-20 19:08:07].
           </item><item>
              <notice class="gamma" text="2014-10-28."/>
              released [Git revision: 2014-10-28 17:46:26].
@@ -136,7 +136,7 @@
           Source scripts.
           <list><item>
              <notice class="gamma" text="2020-12-08."/>
-            repackaged for publication.
+            repackaged for publication [Git revision: 2020-12-08 19:00:50].
           </item><item>
              <notice class="gamma" text="2020-02-27."/>
              released [Git revision: 2020-02-27 22:45:50].
@@ -144,7 +144,7 @@
        </body>
        <body>
           Informational pages on the parts of the specification:
-         <rlink to="html/ground_2.html">Core</rlink>.
+         <rlink to="html/ground.html">Core</rlink>.
        </body>
     </topitem>
  
@@ -164,7 +164,7 @@
           <rlink to="html/documentation.html#ldJ1a">Documentation (J1a)</rlink>.
           <list><item>
              <notice class="delta" text="2019-11-20."/>
-            repackaging (was lambdadelta_1).
+            repackaging (was lambdadelta_1) [Git revision: 2019-11-20 19:08:07].
           </item><item>
              <notice class="delta" text="2015-01-15."/>
              17 new lemmas and former lemma "eq_nat_dec" renamed as "nat_dec_neg".