X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fimplementation.html;h=559993c3d2e9090614759012f46e4b605cb4ce32;hb=2a5e781138f03034104184a40889c33515ac9778;hp=8d16e68904737e59463c82497f9bbc47a73f0f4d;hpb=5924405e7f361a8b2bf638e6a361f7f16cdc7ac2;p=helm.git

diff --git a/helm/www/lambda_delta/implementation.html b/helm/www/lambda_delta/implementation.html
index 8d16e6890..559993c3d 100644
--- a/helm/www/lambda_delta/implementation.html
+++ b/helm/www/lambda_delta/implementation.html
@@ -202,8 +202,6 @@ href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%
                 repository</a>. The Svn revisions containing the stable
               versions
               of&nbsp; Helena are indicated below. <br>
-              <ul>
-              </ul>
               <ul>
                 <li><span style="font-weight: bold;">Version 0.8.2.</span>
                   In
@@ -319,7 +317,7 @@ computer
         height: 31px;" alt="[PNG Used Here]" title="PNG Used Here"
         src="download/PNGnow2.png"><br>
       <br>
-      Last update 2012-02-24 by <a
+      Last update 2012-04-16 by <a
         href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
         Guidi</a><br>
     </div>