web site update

[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 b8cc30553b3f5b04af6fd5ddeef9451ca87d37c3..1ae011367aa7c71bbad56ea2c11624b90953f30a 100644 (file)
--- a/helm/www/lambdadelta/web/home/implementation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/implementation.ldw.xml
@@ -59,7 +59,7 @@
       Exploits a subset of "complete_rg" λδ as the intermediate language.
       Features importation from ".hln" files containing λδ textual syntax.
       The overall validation speed of the "Grundlagen der Analysis"
-      increases of 22% with respect toversion 0.8.0.
+      increases of 22% with respect to version 0.8.0.
       [Svn revision: 11032] (<rlink to="download/helena_0.8.1.tar.gz">archived source code</rlink>)
       <list><item>
          A <link to="http://www.jedsoft.org/jed/">Jed mode</link>
@@ -77,7 +77,7 @@
       Supports "basic_rg" λδ 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#ldp6">Documentation</rlink>.
+      <rlink to="documentation.html#ldR4">Documentation (R4)</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>