X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=c77b7053caca1267687ecd61e80afd284711d801;hb=e5077c96c584933ad1467e8066780b46d7b0468c;hp=17efe350b9d0edfb41338d84fdbd2d0f83be8639;hpb=b9c837ca4598924670bde2e2a1144be35ead425c;p=helm.git

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 17efe350b..c77b7053c 100644
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -223,6 +223,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 01 Jun 2013 18:41:06 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 03 Jun 2013 16:24:28 +0200</div>
 </body>
 </html>