X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fnews.ldw.xml;h=3538b68d91778edff2dd01cf7342ffd6eda8e72a;hb=dd731f05f181f45260a0c448cf995aa3d7adc1f2;hp=27e6dd4604e3671ff373df8c2c45ffa6e9366ce7;hpb=c7b50fec51b9a25d5bc536f44e54179fd53efb44;p=helm.git

diff --git a/helm/www/lambdadelta/web/home/news.ldw.xml b/helm/www/lambdadelta/web/home/news.ldw.xml
index 27e6dd460..3538b68d9 100644
--- a/helm/www/lambdadelta/web/home/news.ldw.xml
+++ b/helm/www/lambdadelta/web/home/news.ldw.xml
@@ -12,12 +12,23 @@
 
    <section3 name="milestones">Milestones</section3>
 
+   <news class="delta" date="November 2019.">
+      The specifications of λδ-1A and λδ-2A are repackaged
+      (they were λδ-1 and λδ-2A1 respectively).
+   </news>
+
    <news class="gamma" date="November 2019.">
       The specification of
-      <rlink to="html/documentation.html#ldV2b">λδ-2B</rlink>
+      <rlink to="html/specification.html#source2B">λδ-2B</rlink>
       is released.
    </news>
 
+   <news class="beta" date="November 2018.">
+      The specification of
+      <rlink to="html/documentation.html#ldP2e">λδ-2B</rlink>
+      is announced.
+   </news>
+
    <news class="alpha" date="December 2015.">
       <rlink to="html/documentation.html#ldJ3a">Second journal paper on λδ</rlink>
       accepted for publication.
@@ -27,6 +38,10 @@
       <rlink to="html/implementation.html#v3">"Helena 0.8.3"</rlink> is released.
    </news>
 
+   <news class="alpha" date="October 2015.">
+      The specification of λδ-2B is started.
+   </news>
+
    <news class="delta" date="August 2015.">
       The specification of λδ-2A is concluded.
    </news>
@@ -64,7 +79,7 @@
 
    <news class="gamma" date="October 2014.">
       The specification of
-      <rlink to="html/documentation.html#ldR2c">λδ-2A</rlink>
+      <rlink to="html/specification.html#source2A">λδ-2A</rlink>
       is released.
    </news>
 
@@ -73,7 +88,9 @@
    </news>
 
    <news class="beta" date="June 2014.">
-      <rlink to="html/documentation.html#ldP2c">First communication on λδ-2.</rlink>
+      The specification of
+      <rlink to="html/documentation.html#ldP2c">λδ-2A</rlink>
+      is announced.
    </news>
 
    <news class="alpha" date="December 2012.">
@@ -147,7 +164,7 @@
    </news>
 
    <news class="delta" date="June 2008.">
-      The <rlink to="html/specification.html#static1">
+      The <rlink to="html/specification.html#static1A">
          HTML pages of the specification of λδ-1A for Matita 0.5</rlink>
       are online.
    </news>
@@ -161,19 +178,21 @@
    </news>
 
    <news class="gamma" date="September 2007.">
-      The <rlink to="html/specification.html#dynamic1">
+      The <rlink to="html/specification.html#dynamic1A">
          specification of λδ-1A for Matita 0.4</rlink>
       is online.
    </news>
 
    <news class="gamma" date="November 2006.">
       The specification of
-      <rlink to="html/documentation.html#ldR1b">λδ-1A</rlink>
+      <rlink to="html/specification.html#source1A">λδ-1A</rlink>
       is released.
    </news>
 
    <news class="beta" date="December 2005.">
-      <rlink to="html/documentation.html#ldP1a">First communication on λδ-1</rlink>.
+      The specification of
+      <rlink to="html/documentation.html#ldP1a">λδ-1A</rlink>
+      is announced.
    </news>
 
    <news class="alpha" date="May 2004.">
@@ -185,16 +204,16 @@
 
    <section3 name="visibility">Visibility</section3>
 
-   <news class="alpha" date="June 2014.">
+   <news class="alpha" date="November 2019.">
       The <link to="http://www.google.com/">Google</link>
       search for "formal system lambda delta" gives
-      5 resources about the λδ family in the first 6 results.
+      9 resources about the λδ family in the first 10 results.
    </news>
 
-   <news class="alpha" date="June 2014.">
+   <news class="alpha" date="November 2019.">
       The <link to="http://www.yahoo.com/">Yahoo</link>
       search for "formal system lambda delta" gives
-      4 resources about the λδ family in the first 5 results.
+      14 resources about the λδ family in the first 14 results.
    </news>
 
    <footer/>