]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/news.ldw.xml
- new naming sheme for documentation yields more stable names
[helm.git] / helm / www / lambdadelta / web / home / news.ldw.xml
index 3e0f1f4af776acb81355294fc4696b07c1aa2f88..46f208da9fe3e61d856f9ccaf1f55d5bb15c77e9 100644 (file)
@@ -38,7 +38,7 @@
    </news>
 
    <news class="gamma" date="October 2014.">
-      <rlink to="documentation.html#ldJ2">λδ version 2A</rlink>
+      <rlink to="documentation.html#ldJ2a">λδ version 2A</rlink>
       is released.
    </news>
 
@@ -47,7 +47,7 @@
    </news>
 
    <news class="beta" date="June 2014.">
-      <rlink to="documentation.html#ldP8">First communication on λδ version 2.</rlink>
+      <rlink to="documentation.html#ldP2c">First communication on λδ version 2.</rlink>
    </news>
 
    <news class="alpha" date="December 2012.">
    </news>
 
    <news class="gamma" date="November 2006.">
-      <rlink to="documentation.html#ldR2">λδ version 1</rlink>
+      <rlink to="documentation.html#ldR1b">λδ version 1</rlink>
       is released.
    </news>
 
    <news class="beta" date="December 2005.">
-      <rlink to="documentation.html#ldP1">First communication on λδ version 1</rlink>.
+      <rlink to="documentation.html#ldP1a">First communication on λδ version 1</rlink>.
    </news>
 
    <news class="alpha" date="May 2004.">