X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fimplementation.ldw.xml;h=fdc0ddba10924e2e8c45530507ccd45e2de3c9c5;hb=9c489fe144c562dca776df59264329b704e18c49;hp=8e27e166b780f17a4fa1ee1e755f05b190012a05;hpb=68b5af5ca8f1e7f98485b92692b3dcb1ae240d19;p=helm.git

diff --git a/helm/www/lambdadelta/web/home/implementation.ldw.xml b/helm/www/lambdadelta/web/home/implementation.ldw.xml
index 8e27e166b..fdc0ddba1 100644
--- 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".