X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fversion_1.html;h=a96ad71269acb020348c1aa4d040d2016734d0d1;hb=3167db4903eea2eddc60a91cfd922be3672ce077;hp=b76aab94295456e9e58cfeaf58870c24c2d50e1d;hpb=bda0d7ea2a1aecb2bacd82972d476fbd9d63f4dc;p=helm.git

diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html
index b76aab942..a96ad7126 100644
--- a/helm/www/lambdadelta/version_1.html
+++ b/helm/www/lambdadelta/version_1.html
@@ -186,6 +186,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 13 Jul 2014 15:47:14 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 13 Jul 2014 23:25:31 +0200</div>
 </body>
 </html>