- new naming sheme for documentation yields more stable names

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

diff --git a/helm/www/lambdadelta/web/home/implementation.ldw.xml b/helm/www/lambdadelta/web/home/implementation.ldw.xml
index 9112a8037985ab0da12e3dc852c616d779995338..05bb7c6c2cba7514f0db9c47ca2289f02a8c3728 100644 (file)
--- a/helm/www/lambdadelta/web/home/implementation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/implementation.ldw.xml
@@ -54,7 +54,7 @@
       (the specification language of <link to="http://matita.cs.unibo.it/">Matita</link>).
       The overall validation speed of the "Grundlagen der Analysis"
       increases of 34% with respect to version 0.8.1.
-      <rlink to="documentation.html#ldJ4">Documentation (J4)</rlink>.
+      <rlink to="documentation.html#ldJ3a">Documentation (J3a)</rlink>.
       [Svn revision: 13035] (<rlink to="download/helena_0.8.2.tar.gz">archived source code</rlink>).
       <list><item>
          The specification of Landau's "Grundlagen der Analysis"
@@ -104,7 +104,7 @@
       Supports λδ "Version 2" with naive implementation of impredicative sort inclusion.
       Features importation from <link to="http://www.win.tue.nl/automath/">Automath</link>
       and exportation to <link to="http://www.w3.org/XML/">XML</link>.
-      <rlink to="documentation.html#ldR4">Documentation (R4)</rlink>.
+      <rlink to="documentation.html#ldR2a">Documentation (R2a)</rlink>.
       [Svn revision: 10304] (<rlink to="download/helena_0.8.0.tar.gz">archived source code</rlink>).
       <list><item>
          A <link to="http://www.jedsoft.org/jed/">Jed mode</link>