X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=0f1ce23d7f78e558d402c078b482a6fdb758dcaf;hb=bcc6a96020485731da4c02cc38043817903bd7dc;hp=2fd519a642b46899c6f2aa8ef70bb213912ca1ea;hpb=67fede5f273328bf920ad609f15d4f2389493c5c;p=helm.git

diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html
index 2fd519a64..0f1ce23d7 100644
--- a/helm/www/lambdadelta/index.html
+++ b/helm/www/lambdadelta/index.html
@@ -36,18 +36,18 @@
             <td class="snns capitalize italic magenta">
               <a href="http://lambdadelta.info/news.html">news</a>
             </td>
-            <td class="snns capitalize italic orange">
-              <a href="http://lambdadelta.info/documentation.html">documentation</a>
-            </td>
-            <td class="snns capitalize italic green">
+            <td class="snns capitalize italic white">
               <a href="http://lambdadelta.info/specification.html">specification</a>
             </td>
-            <td class="snnn capitalize italic green">
+            <td class="snnn capitalize italic white">
               <br />
             </td>
-            <td class="snnn capitalize italic green">
+            <td class="snnn capitalize italic white">
               <br />
             </td>
+            <td class="snns capitalize italic orange">
+              <a href="http://lambdadelta.info/documentation.html">documentation</a>
+            </td>
             <td class="snns capitalize italic green">
               <a href="http://lambdadelta.info/implementation.html">implementation</a>
             </td>
@@ -62,16 +62,16 @@
             <td class="snns capitalize magenta">
               <a href="http://lambdadelta.info/news.html#milestones">milestones</a>
             </td>
-            <td class="snns capitalize orange">
-              <a href="http://lambdadelta.info/documentation.html#v2">version 2</a>
-            </td>
-            <td class="snns capitalize green">
+            <td class="snns capitalize white">
               <a href="http://lambdadelta.info/specification.html#v2">version 2</a>
             </td>
-            <td class="snnn capitalize green">(<a href="http://lambdadelta.info/ground_2.html">background</a> - <a href="http://lambdadelta.info/basic_2.html">core</a> - <a href="http://lambdadelta.info/apps_2.html">applications</a>)</td>
-            <td class="snnn capitalize green">
+            <td class="snnn capitalize white">(<a href="http://lambdadelta.info/ground_2.html">background</a> - <a href="http://lambdadelta.info/basic_2.html">core</a> - <a href="http://lambdadelta.info/apps_2.html">applications</a>)</td>
+            <td class="snnn capitalize white">
               <br />
             </td>
+            <td class="snns capitalize orange">
+              <a href="http://lambdadelta.info/documentation.html#v2">version 2</a>
+            </td>
             <td class="snns capitalize green">
               <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
             </td>
@@ -84,14 +84,14 @@
             <td class="snss capitalize magenta">
               <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
             </td>
+            <td class="snss capitalize white">
+              <a href="http://lambdadelta.info/specification.html#v1">version 1</a>
+            </td>
+            <td class="snsn capitalize white">(<a href="http://lambdadelta.info/ground_1.html">background</a> - <a href="http://lambdadelta.info/basic_1.html">core</a>)</td>
+            <td class="snsn capitalize white">(<a href="http://lambdadelta.info/static/matita/lambdadelta/">static HELM directory</a>)</td>
             <td class="snss capitalize orange">
               <a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
             </td>
-            <td class="snss capitalize green">
-              <a href="http://lambdadelta.info/specification.html#v1">version 1</a>
-            </td>
-            <td class="snsn capitalize green">(<a href="http://lambdadelta.info/ground_1.html">background</a> - <a href="http://lambdadelta.info/basic_1.html">core</a>)</td>
-            <td class="snsn capitalize green">(<a href="http://lambdadelta.info/static/matita/lambdadelta/">static HELM directory</a>)</td>
             <td class="snss capitalize green">
               <a href="http://lambdadelta.info/implementation.html#helena">helena</a>
             </td>
@@ -106,8 +106,8 @@
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
       The formal system λδ (\lambda\delta) is a typed λ-calculus aiming to support
-      the foundations of Mathematics that require an underlying specification language
-      (for example the <a href="http://www.math.unipd.it/~maietti/">Minimal Type Theory</a>
+      the foundational frameworks for Mathematics that require an underlying specification language
+      (for example the <a href="http://www.math.unipd.it/~maietti/">Minimalist Foundation</a>
        and its predecessors).
    </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
@@ -132,8 +132,15 @@
     <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="citations">Citations <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b9.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
-      This is a list of publications citing λδ (not including our own).
+      This is a list of publications citing λδ documentation.
    </div>
+    <ul xmlns:ld="http://lambdadelta.info/" id="C7">
+      <li>
+      C. Dunchev, F. Guidi, C. Sacerdoti Coen, E. Tassi:
+      <span class="emph alpha">ELPI: fast, Embeddable, λProlog Interpreter</span>
+      (2015). In proc. of LPAR 20. LNCS 9450, pp. 460-468.
+   </li>
+    </ul>
     <ul xmlns:ld="http://lambdadelta.info/" id="C6">
       <li>
       A. Asperti, W. Ricciotti, C. Sacerdoti Coen, E. Tassi:
@@ -159,7 +166,7 @@
       <li>
       C.E. Brown:
       <span class="emph alpha">Faithful Reproductions of the Automath Landau Formalization</span>
-      (2011). Typescript note.
+      (2011). Technical report.
    </li>
     </ul>
     <ul xmlns:ld="http://lambdadelta.info/" id="C2">
@@ -173,7 +180,7 @@
       <li>
       V. Rahili: 
       <span class="emph alpha">First Year Report: Realisability methods of proof and semantics with application to expansion</span>
-      (July 2007). Typescript note.
+      (July 2007). Technical report.
    </li>
     </ul>
     <div class="spacer">
@@ -202,6 +209,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 18 Feb 2015 19:13:35 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 10 Dec 2015 16:13:46 +0100</div>
   </body>
 </html>