infrastructure to browse lambdadelta_1 remotely

[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 9f1f7f43e9654713a54df02829ceb88efd3bb0aa..0349038e84fb99f814efea7dc62ee0b9f3ee1ac3 100644 (file)
--- 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>