- xhtbl: minor improvement

[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 fdc0ddba10924e2e8c45530507ccd45e2de3c9c5..1d2ffdc96863561cb284aaab40930cc0b8804880 100644 (file)
--- a/helm/www/lambdadelta/web/home/implementation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/implementation.ldw.xml
@@ -21,23 +21,20 @@
     </topitem>
     <topitem name="access">
        <notice class="alpha" notice="Access:"/>
-      <rlink to="static/lddl/">static pages</rlink> (updated <notice class="beta" notice="2012-10"/>),
+      <rlink to="static/lddl/">static pages</rlink> (updated <notice class="gamma" notice="2015-01"/>),
        <rlink to="download/lddl.tar.bz2">data set</rlink> (updated <notice class="gamma" notice="2014-12"/>),
        <rlink to="xml/">HELM server URL</rlink> (updated <notice class="gamma" notice="2014-12"/>).
     </topitem>
     <topitem name="examples">
        <notice class="alpha" notice="Examples:"/>
-      <rlink to="static/lddl/brg_si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.html">
+      <rlink to="static/lddl/Environment/grundlagen_2/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.html">
           Grundlagen's definition "t234"</rlink>
-      (in "basic_rg" λδ),
-      <rlink to="static/lddl/crg_si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.html">
-         Grundlagen's definition "t234"</rlink>
-      (in "complete_rg" λδ).
+      in λδ version 4.
     </topitem>
  
     <subsection name="helena"><helena-icon/>Helena</subsection>
     <body>
-      Helena is a λδ processor,
+      Helena is a processor for λδ,
        implemented in <link to="http://caml.inria.fr/">Caml</link>
        as a part of the <link to="http://helm.cs.unibo.it/">HELM</link> software,
        meant for testing the stable features of the calculus as well as the unstable ones.
@@ -49,8 +46,13 @@
        The Svn revisions containing the stable versions of Helena are indicated next.
     </body>
     <topitem name="v2">
-      <notice class="beta" notice="Version 0.8.2."/>
-      In progress.
+      <notice class="gamma" notice="Version 0.8.2 (2014-12)."/>
+      Uses λδ "Version 3" with layer variables as core language.
+      Supports exportation to Grafite
+      (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.
+      [Svn revision: 13005] (<rlink to="download/helena_0.8.2.tar.gz">archived source code</rlink>)
        <list><item>
           The specification of Landau's "Grundlagen der Analysis"
           for <link to="http://matita.cs.unibo.it/">Matita 0.99.2</link>:
@@ -68,7 +70,7 @@
     </topitem>
     <topitem name="v1">
        <notice class="beta" notice="Version 0.8.1 (2010-11)."/>
-      Uses a subset of λδ "Version 4" as the intermediate language.
+      Uses a subset of λδ "Version 4" as intermediate language.
        Features importation from ".hln" files containing λδ textual syntax.
        The overall validation speed of the "Grundlagen der Analysis"
        increases of 22% with respect to version 0.8.0.