λδ-2B is released

[helm.git] / helm / www / lambdadelta / web / home / news.ldw.xml

diff --git a/helm/www/lambdadelta/web/home/news.ldw.xml b/helm/www/lambdadelta/web/home/news.ldw.xml
index 3f1c9f893e136452c8b5a1d3bbf6d47e80cb62e8..27e6dd4604e3671ff373df8c2c45ffa6e9366ce7 100644 (file)
--- a/helm/www/lambdadelta/web/home/news.ldw.xml
+++ b/helm/www/lambdadelta/web/home/news.ldw.xml
@@ -12,6 +12,12 @@
 
    <section3 name="milestones">Milestones</section3>
 
+   <news class="gamma" date="November 2019.">
+      The specification of
+      <rlink to="html/documentation.html#ldV2b">λδ-2B</rlink>
+      is released.
+   </news>
+
    <news class="alpha" date="December 2015.">
       <rlink to="html/documentation.html#ldJ3a">Second journal paper on λδ</rlink>
       accepted for publication.
@@ -22,16 +28,16 @@
    </news>
 
    <news class="delta" date="August 2015.">
-      The specification of λδ version 2A1 is concluded.
+      The specification of λδ-2A is concluded.
    </news>
 
    <news class="gamma" date="June 2015.">
       The corrected specification of Landau's "Grundlagen der Analysis"
-      is validated in a λProlog implementation of λδ version 3.
+      is validated in a λProlog implementation of λδ-3.
    </news>
 
    <news class="delta" date="March 2015.">
-      The specification of λδ version 1 is validated by
+      The specification of λδ-1A is validated by
       <link to="http://matita.cs.unibo.it/">Matita 0.99.2</link>.
    </news>
 
@@ -44,20 +50,21 @@
    </news>
 
    <news class="delta" date="January 2015.">
-      The specification of <rlink to="html/specification.html#v1">λδ version 1</rlink>
-      is updated with backports from the abandoned specification of λδ version 2.
+      The specification of <rlink to="html/specification.html#v1">λδ-1A</rlink>
+      is updated with backports from the abandoned specification of λδ-2.
    </news>
 
    <news class="gamma" date="December 2014.">
       <rlink to="html/implementation.html#v2">"Helena 0.8.2"</rlink> is released.
       <list><item>
          The corrected specification of Landau's "Grundlagen der Analysis"
-         is validated in λδ version 3. 
+         is validated in λδ-3. 
       </item></list>
    </news>
 
    <news class="gamma" date="October 2014.">
-      <rlink to="html/documentation.html#ldJ2a">λδ version 2A1</rlink>
+      The specification of
+      <rlink to="html/documentation.html#ldR2c">λδ-2A</rlink>
       is released.
    </news>
 
@@ -66,7 +73,7 @@
    </news>
 
    <news class="beta" date="June 2014.">
-      <rlink to="html/documentation.html#ldP2c">First communication on λδ version 2.</rlink>
+      <rlink to="html/documentation.html#ldP2c">First communication on λδ-2.</rlink>
    </news>
 
    <news class="alpha" date="December 2012.">
@@ -96,13 +103,14 @@
    </news>
 
    <news class="alpha" date="April 2011.">
-      The specification of <rlink to="html/specification.html#v2">λδ version 2</rlink>
+      The specification of
+      <rlink to="html/specification.html#v2">λδ-2</rlink>
       and related topics is restarted in
       <link to="http://matita.cs.unibo.it/">Matita 0.5</link>.
    </news>
 
    <news class="delta" date="February 2011.">
-      The specification of λδ version 2 with Coq 7.3.1 is abandoned.
+      The specification of λδ-2 with Coq 7.3.1 is abandoned.
    </news>
 
    <news class="alpha" date="December 2010.">
@@ -119,7 +127,7 @@
    </news>
 
    <news class="alpha" date="June 2009.">
-      "Helena", a <rlink to="html/implementation.html#helena">validator for λδ version 2</rlink>,
+      "Helena", a <rlink to="html/implementation.html#helena">validator for λδ-2</rlink>,
       is available as a part of the <link to="http://helm.cs.unibo.it/">HELM</link> software. 
    </news>
 
@@ -135,40 +143,41 @@
    <news class="delta" date="July 2008.">
       First <link to="http://helm.cs.unibo.it/procedural/">procedural reconstruction</link>
       for <link to="http://matita.cs.unibo.it/">Matita 0.5</link>
-      of the λδ version 1 for Coq 7.3.1.
+      of the λδ-1A for Coq 7.3.1.
    </news>
 
    <news class="delta" date="June 2008.">
       The <rlink to="html/specification.html#static1">
-         HTML pages of the specification of λδ version 1 for Matita 0.5</rlink>
+         HTML pages of the specification of λδ-1A for Matita 0.5</rlink>
       are online.
    </news>
 
    <news class="delta" date="May 2008.">
-      The specification of λδ version 1 is concluded.
+      The specification of λδ-1A is concluded.
    </news>
 
    <news class="alpha" date="March 2008.">
-      The specification of λδ version 2 is started with Coq 7.3.1 (false start).
+      The specification of λδ-2 is started with Coq 7.3.1 (false start).
    </news>
 
    <news class="gamma" date="September 2007.">
       The <rlink to="html/specification.html#dynamic1">
-         specification of λδ version 1 for Matita 0.4</rlink>
+         specification of λδ-1A for Matita 0.4</rlink>
       is online.
    </news>
 
    <news class="gamma" date="November 2006.">
-      <rlink to="html/documentation.html#ldR1b">λδ version 1</rlink>
+      The specification of
+      <rlink to="html/documentation.html#ldR1b">λδ-1A</rlink>
       is released.
    </news>
 
    <news class="beta" date="December 2005.">
-      <rlink to="html/documentation.html#ldP1a">First communication on λδ version 1</rlink>.
+      <rlink to="html/documentation.html#ldP1a">First communication on λδ-1</rlink>.
    </news>
 
    <news class="alpha" date="May 2004.">
-      The specification of <rlink to="html/specification.html#v1">λδ version 1</rlink>
+      The specification of <rlink to="html/specification.html#v1">λδ-1</rlink>
       is started with Coq 7.3.1.
    </news>