X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=c86890da2629845737637a56094d1735f48d5ebf;hb=32def68dd99ad5f20f001e3e76b51afa6f69dec5;hp=91041f3d8e02fa98d215f6fb78bb7eca03bd771f;hpb=6ce2552192c2727eb5f7d17f52b949549e1e6ad1;p=helm.git

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 91041f3d8..c86890da2 100644
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -269,6 +269,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 02 Sep 2015 17:59:06 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 11 Oct 2015 17:42:23 +0200</div>
   </body>
 </html>