X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=e7c85c8295e617dc7039f3513a8bccd28b62c49b;hb=02beb8c7e6af00355866b7698ce1eb1f6a03c79b;hp=8d424517e197df95df71431e68b19566f68f42e4;hpb=a38bbd2c8213d8275a3d3c2ac115c45c8e478ed4;p=helm.git

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 8d424517e..e7c85c829 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -110,7 +110,7 @@
       <a href="http://lambdadelta.info/download/lambdadelta.bib">lambdadelta.bib</a>,
       <span class="emph alpha">view</span>
       <a href="http://lambdadelta.info/download/lambdadelta.txt">lambdadelta.txt</a>
-      (revised <span class="emph gamma">2015-03</span>).
+      (revised <span class="emph gamma">2015-09</span>).
    </div>
     <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v3">
       <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b8.png" /> λδ version 3 (proposed)</div>
@@ -124,7 +124,7 @@
             <td class="snns top" id="ldJ3a">
               <span class="emph alpha">J3a.</span>
             </td>
-            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/gda.pdf">A Verified Translation of Landau's "Grundlagen" from Automath into a Pure Type System, via λδ</a> (<span class="emph alpha">2015-02</span>). Submitted to JFR, Univerity of Bologna. <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
+            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/gda.pdf">Verified Representations of Landau's "Grundlagen" in λδ and in the Calculus of Constructions</a> (<span class="emph alpha">2015-08</span>). Submitted to JFR, Univerity of Bologna. <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
           </tr>
           <tr>
             <td class="nnss top" />
@@ -147,7 +147,7 @@
             <td class="snns top" id="ldJ2a">
               <span class="emph alpha">J2a.</span>
             </td>
-            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/basic2a.pdf">The Formal System λδ Revised, Stage A: Extending the Applicability Condition</a> (<span class="emph gamma">2014-11</span>). Submitted to ACM ToCL. CoRR identifier <a href="http://arxiv.org/abs/1411.0154">1411.0154</a> [v2] (revised <span class="emph gamma">2015-03</span>). <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
+            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/basic2a.pdf">The Formal System λδ Revised, Stage A: Extending the Applicability Condition</a> (<span class="emph gamma">2014-11</span>). Preprint. CoRR identifier <a href="http://arxiv.org/abs/1411.0154">1411.0154</a> [v2] (revised <span class="emph gamma">2015-03</span>). <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
           </tr>
           <tr>
             <td class="nnns top" />
@@ -183,7 +183,7 @@
             <td class="snns top" id="ldP2c">
               <span class="emph alpha">P2c.</span>
             </td>
-            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/ld_talk_8s.pdf">The Formal System λδ and the "Three Problems"</a> (<span class="emph beta">2014-06</span>). Presentation at University of Bologna (slides).</td>
+            <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/download/ld_talk_8s.pdf">The Formal System λδ and the "Three Problems"</a> (<span class="emph beta">2014-06</span>). Presentation at University of Bologna, for the 10th anniversary of λδ (slides).</td>
           </tr>
           <tr>
             <td class="nnns top" />
@@ -389,6 +389,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 11 May 2015 15:05:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 11 Oct 2015 17:42:23 +0200</div>
   </body>
 </html>