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

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index f526a75a9..54a3d4af6 100644
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.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">
@@ -286,6 +286,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:29:55 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 20 Jul 2014 15:02:32 +0200</div>
 </body>
 </html>