the corrected "Grundlagen" is online

[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 8e27e166b780f17a4fa1ee1e755f05b190012a05..fdc0ddba10924e2e8c45530507ccd45e2de3c9c5 100644 (file)
--- a/helm/www/lambdadelta/web/home/implementation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/implementation.ldw.xml
@@ -22,8 +22,8 @@
    <topitem name="access">
       <notice class="alpha" notice="Access:"/>
       <rlink to="static/lddl/">static pages</rlink> (updated <notice class="beta" notice="2012-10"/>),
-      <rlink to="download/lddl.tar.bz2">data set</rlink> (updated <notice class="beta" notice="2014-12"/>),
-      <rlink to="xml/">HELM server URL</rlink> (updated <notice class="beta" notice="2014-12"/>).
+      <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:"/>
@@ -52,6 +52,15 @@
       <notice class="beta" notice="Version 0.8.2."/>
       In progress.
       <list><item>
+         The specification of Landau's "Grundlagen der Analysis"
+         for <link to="http://matita.cs.unibo.it/">Matita 0.99.2</link>:
+         <rlink to="download/grundlagen_2.tar.bz2">grundlagen_2.tar.bz2</rlink>
+         (revised <notice class="gamma" notice="2014-12"/>).
+      </item><item>
+         The corrected specification of Landau's "Grundlagen der Analysis":  
+         <rlink to="download/grundlagen_2.aut">grundlagen_2.aut</rlink>
+         (revised <notice class="gamma" notice="2014-12"/>).
+      </item><item>
          <notice class="gamma" notice="2014-12."/>
          The corrected specification of Landau's "Grundlagen der Analysis"
          is successfully validated in λδ "Version 3".