λδ-2B and λδ-ground repackaged for publication

[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 050a17328536089873fad5eb223d134d6a70351c..98dd5f11f0c2f973bc0552c4666410ed7b06b51b 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -76,10 +76,13 @@
     <topitem name="source2B">
        <body>
           <rlink to="download/lambdadelta_2B.tar.bz2">lambdadelta_2B for Matita 0.99.4</rlink>
-         (revised <notice class="gamma" text="2020-02"/>).
+         (revised <notice class="gamma" text="2020-12"/>).
           Source scripts.
           <rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
           <list><item>
+            <notice class="gamma" text="2020-12-08."/>
+            repackaged for publication.
+         </item><item>
              <notice class="gamma" text="2020-02-27."/>
              repackaged without λδ-ground_2.
           </item><item>
@@ -129,9 +132,12 @@
     <topitem name="source2g">
        <body>
           <rlink to="download/lambdadelta_ground.tar.bz2">lambdadelta_ground for Matita 0.99.2</rlink>
-         (revised <notice class="gamma" text="2020-02"/>).
+         (revised <notice class="gamma" text="2020-12"/>).
           Source scripts.
           <list><item>
+            <notice class="gamma" text="2020-12-08."/>
+            repackaged for publication.
+         </item><item>
              <notice class="gamma" text="2020-02-27."/>
              released [Git revision: 2020-02-27 22:45:50].
           </item></list>