X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=e1e583101cf327e51a2960c195f8084d2e61e2fb;hb=644307df315b855c3851f813b04d562acf2db9bc;hp=e41618049b3d5aaea062d1b4235b517df1995b82;hpb=7f349a4f0175068138a341081d0dd14fd9fe4c4a;p=helm.git

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index e41618049..e1e583101 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -42,9 +42,9 @@
             <td class="snns component green">
               <a href="http://lambdadelta.info/implementation.html">implementation</a>
             </td>
-            <td class="ssnn component green">
-              <br />
-            </td>
+            <td class="ssnn component green">(<a href="http://lambdadelta.info/implementation.html#specifications">specifications</a>
+              <a href="http://lambdadelta.info/implementation.html#lddl">library</a>
+              <a href="http://lambdadelta.info/implementation.html#helena">Helena</a>)</td>
           </tr>
           <tr>
             <td class="snns sky">
@@ -96,7 +96,7 @@
    </div>
    
    <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="v2">
-      <img class="icon32" alt="[basic lambdadelta]" title="basic lambdadelta" src="http://lambdadelta.info/images/basic_32.png" /> λδ version 2 (in progress)</div>
+      <img class="icon32" alt="[basic lambdadelta logo]" title="basic lambdadelta" src="http://lambdadelta.info/images/basic_32.png" /> λδ version 2 (in progress)</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">
       The main source of information is <span class="date">P8</span>.
    </div>
@@ -180,7 +180,7 @@
     </div>
 
    <div xmlns:ld="http://lambdadelta.info/" class="head2sn" id="v1">
-      <img class="icon32" alt="[basic lambdadelta]" title="basic lambdadelta" src="http://lambdadelta.info/images/basic_32.png" /> λδ version 1 (dismissed)</div>
+      <img class="icon32" alt="[basic lambdadelta logo]" title="basic lambdadelta" src="http://lambdadelta.info/images/basic_32.png" /> λδ version 1 (dismissed)</div>
    <div xmlns:ld="http://lambdadelta.info/" class="text">
       The main source of information is <span class="date">J1</span>.
       A summary is available in <span class="date">P5</span>.
@@ -327,6 +327,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 20 Jul 2014 11:35:27 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 20 Jul 2014 15:02:32 +0200</div>
 </body>
 </html>