the corrected "Grundlagen" is online

[helm.git] / helm / www / lambdadelta / implementation.html

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 2881bbd7607aece6816f2548074f8b28ca0d094a..5faac4d4c302e9797701232641d5ed821244544e 100644 (file)
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -111,8 +111,8 @@
       <li>
       <span class="emph alpha">Access:</span>
       <a href="http://lambdadelta.info/static/lddl/">static pages</a> (updated <span class="emph beta">2012-10</span>),
-      <a href="http://lambdadelta.info/download/lddl.tar.bz2">data set</a> (updated <span class="emph beta">2014-12</span>),
-      <a href="http://lambdadelta.info/xml/">HELM server URL</a> (updated <span class="emph beta">2014-12</span>).
+      <a href="http://lambdadelta.info/download/lddl.tar.bz2">data set</a> (updated <span class="emph gamma">2014-12</span>),
+      <a href="http://lambdadelta.info/xml/">HELM server URL</a> (updated <span class="emph gamma">2014-12</span>).
    </li>
     </ul>
    <ul xmlns:ld="http://lambdadelta.info/" id="examples">
@@ -147,6 +147,17 @@
       In progress.
       <ul>
           <li>
+         The specification of Landau's "Grundlagen der Analysis"
+         for <a href="http://matita.cs.unibo.it/">Matita 0.99.2</a>:
+         <a href="http://lambdadelta.info/download/grundlagen_2.tar.bz2">grundlagen_2.tar.bz2</a>
+         (revised <span class="emph gamma">2014-12</span>).
+      </li>
+          <li>
+         The corrected specification of Landau's "Grundlagen der Analysis":  
+         <a href="http://lambdadelta.info/download/grundlagen_2.aut">grundlagen_2.aut</a>
+         (revised <span class="emph gamma">2014-12</span>).
+      </li>
+          <li>
          <span class="emph gamma">2014-12.</span>
          The corrected specification of Landau's "Grundlagen der Analysis"
          is successfully validated in λδ "Version 3".
@@ -233,6 +244,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 24 Dec 2014 23:26:17 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 26 Dec 2014 16:35:05 +0100</div>
 </body>
 </html>