X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fnews.ldw.xml;h=0349038e84fb99f814efea7dc62ee0b9f3ee1ac3;hb=b01cc7ea6a6a931e3485fde7ec78b2c216918e11;hp=9f1f7f43e9654713a54df02829ceb88efd3bb0aa;hpb=fe00a22101acb7995f8488a4434c4046bc540af0;p=helm.git

diff --git a/helm/www/lambdadelta/web/home/news.ldw.xml b/helm/www/lambdadelta/web/home/news.ldw.xml
index 9f1f7f43e..0349038e8 100644
--- a/helm/www/lambdadelta/web/home/news.ldw.xml
+++ b/helm/www/lambdadelta/web/home/news.ldw.xml
@@ -11,6 +11,11 @@
 
    <section3 name="milestones">Milestones</section3>
 
+   <news class="delta" date="January 2015.">
+      The specification of <rlink to="specification.html#v1">λδ version 1</rlink>
+      is updated with backports from the abandoned specification of λδ version 2.
+   </news>
+
    <news class="gamma" date="December 2014.">
       <rlink to="implementation.html#v2">"Helena 0.8.2"</rlink> is released.
       <list><item>
@@ -59,7 +64,7 @@
    </news>
 
    <news class="alpha" date="April 2011.">
-      The specification of <rlink to="version_2.html">λδ version 2</rlink>
+      The specification of <rlink to="specification.html#v2">λδ version 2</rlink>
       and related topics is restarted in
       <link to="http://matita.cs.unibo.it/">Matita 0.5</link>.
    </news>
@@ -102,7 +107,7 @@
    </news>
 
    <news class="delta" date="June 2008.">
-      The <rlink to="version_1.html#static">
+      The <rlink to="specification.html#static1">
          HTML pages of the specification of λδ version 1 for Matita 0.5</rlink>
       are online.
    </news>
@@ -116,7 +121,7 @@
    </news>
 
    <news class="gamma" date="September 2007.">
-      The <rlink to="version_1.html#dynamic">
+      The <rlink to="specification.html#dynamic1">
          specification of λδ version 1 for Matita 0.4</rlink>
       is online.
    </news>
@@ -131,7 +136,7 @@
    </news>
 
    <news class="alpha" date="May 2004.">
-      The specification of <rlink to="version_1.html">λδ version 1</rlink>
+      The specification of <rlink to="specification.html#v1">λδ version 1</rlink>
       is started with Coq 7.3.1.
    </news>