X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=7b66a4bb9b707296d2296cbb246f8a49484e6b5b;hb=37e1b4f314ffae815beca71300688040f8da6939;hp=e4af9432e31889ff88e993b169d390373e982448;hpb=296f79ae045db68312a245e4111afb554561de42;p=helm.git

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index e4af9432e..7b66a4bb9 100644
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -72,7 +72,7 @@
               <a href="http://lambdadelta.info/index.html#notice">notice</a>
             </td>
             <td class="snss capitalize magenta">
-              <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
+              <a href="http://lambdadelta.info/news.html#citations">citations</a>
             </td>
             <td class="snss capitalize orange">
               <a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
@@ -226,6 +226,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Oct 2014 20:11:23 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 22 Oct 2014 20:00:29 +0200</div>
 </body>
 </html>