X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=78777483e271e93dd152e1884e3cdbd99e6fe2ab;hb=2c4b4aaa6f1490346823a26cba5dd965cab0cd02;hp=8d7d6b75364fcf1502d248495eb105a3ea1a4936;hpb=edf9e34100f49d4aa5ba8f3ce53e34af7718d88e;p=helm.git

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 8d7d6b753..78777483e 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -23,7 +23,7 @@
     <div class="spacer">
       <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
     </div>
-   <div xmlns:ld="http://lambdadelta.info/" class="spacer">
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="text">
@@ -45,9 +45,12 @@
             <td class="snnn capitalize italic green">
               <br />
             </td>
-            <td class="ssns capitalize italic green">
+            <td class="snns capitalize italic green">
               <a href="http://lambdadelta.info/implementation.html">implementation</a>
             </td>
+            <td class="ssnn capitalize italic green">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="snns capitalize sky">
@@ -63,9 +66,10 @@
               <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="ssns capitalize green">
+            <td class="snns capitalize green">
               <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
             </td>
+            <td class="ssnn capitalize green">(<a href="http://lambdadelta.info/static/lddl/">static LDDL directory</a>)</td>
           </tr>
           <tr>
             <td class="snss capitalize sky">
@@ -80,20 +84,20 @@
             <td class="snss capitalize green">
               <a href="http://lambdadelta.info/specification.html#v1">version 1</a>
             </td>
-            <td class="snsn capitalize green">
-              <br />
-            </td>
-            <td class="ssss capitalize green">
+            <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>
+            <td class="sssn capitalize green">
+              <br />
+            </td>
           </tr>
         </tbody>
       </table>
     </div>
-
-   <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="bibtex">Documentation <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b4.png" />
+    <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="bibtex">Documentation <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b4.png" />
     </div>
-   <div xmlns:ld="http://lambdadelta.info/" class="text">
+    <div xmlns:ld="http://lambdadelta.info/" class="text">
       BibTeX database of λδ documentation:
       <span class="emph alpha">download</span>
       <a href="http://lambdadelta.info/download/lambdadelta.bib">lambdadelta.bib</a>,
@@ -101,13 +105,12 @@
       <a href="http://lambdadelta.info/download/lambdadelta.txt">lambdadelta.txt</a>
       (revised <span class="emph gamma">2014-10</span>).
    </div>
-   
-   <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v2">
+    <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v2">
       <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b4.png" /> λδ version 2 (active)</div>
-   <div xmlns:ld="http://lambdadelta.info/" class="text">
+    <div xmlns:ld="http://lambdadelta.info/" class="text">
       The main source of information is <span class="emph alpha">J2</span>.
    </div>
-   <div xmlns:ld="http://lambdadelta.info/" class="text">
+    <div xmlns:ld="http://lambdadelta.info/" class="text">
       <table cellpadding="4" cellspacing="0">
         <tbody>
           <tr>
@@ -197,14 +200,13 @@
         </tbody>
       </table>
     </div>
-
-   <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v1">
+    <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v1">
       <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b6.png" /> λδ version 1 (superseded)</div>
-   <div xmlns:ld="http://lambdadelta.info/" class="text">
+    <div xmlns:ld="http://lambdadelta.info/" class="text">
       The main source of information is <span class="emph alpha">J1</span>.
       A summary is available in <span class="emph alpha">P5</span>.
    </div>
-   <div xmlns:ld="http://lambdadelta.info/" class="text">
+    <div xmlns:ld="http://lambdadelta.info/" class="text">
       <table cellpadding="4" cellspacing="0">
         <tbody>
           <tr>
@@ -331,8 +333,7 @@
         </tbody>
       </table>
     </div>
-
-   <div class="spacer">
+    <div class="spacer">
       <img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
     </div>
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
@@ -358,6 +359,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 22:58:52 +0100</div>
-</body>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 05 Jan 2015 00:32:03 +0100</div>
+  </body>
 </html>