]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/implementation.html
- update in basic_2
[helm.git] / helm / www / lambda_delta / implementation.html
index 8d16e68904737e59463c82497f9bbc47a73f0f4d..559993c3d2e9090614759012f46e4b605cb4ce32 100644 (file)
@@ -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>