X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcore.html;h=08a77db80c88220abbd93f5e458760ddc0673125;hb=f1b5681cc8b74b016c7287d901564547fa70cdbd;hp=9b4b4ad418916401e0fe9771954bb9d57efd87ed;hpb=be2870b722324a1813ac9e72ebcb2cda6c8733d7;p=helm.git

diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html
index 9b4b4ad41..08a77db80 100644
--- a/helm/www/lambdadelta/core.html
+++ b/helm/www/lambdadelta/core.html
@@ -7116,6 +7116,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 21:44:35 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 02 Nov 2017 18:35:42 +0100</div>
   </body>
 </html>