X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_1.html;h=95170e646833d808a719d88715690b1918af094e;hb=348f1670b30f52db99187b2e92b45348e18ebbbe;hp=e643ff80e3dc5560774652d8d2f93716036e6e9e;hpb=a145b5df4a86b3d5f8516a9c1cb76a62f6327151;p=helm.git

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index e643ff80e..95170e646 100644
--- a/helm/www/lambdadelta/basic_1.html
+++ b/helm/www/lambdadelta/basic_1.html
@@ -823,6 +823,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 19 May 2016 12:17:41 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 May 2016 15:25:27 +0200</div>
   </body>
 </html>