match

[helm.git] / helm / www / lambda_delta / implementation.html

diff --git a/helm/www/lambda_delta/implementation.html b/helm/www/lambda_delta/implementation.html
index 8d16e68904737e59463c82497f9bbc47a73f0f4d..598daae78cd41d6df3a1258116d5db75e3e797df 100644 (file)
--- 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
@@ -298,9 +296,9 @@ computer
                   (revised <span style="font-weight: bold;">2008-07</span>).</li>
               </ul>
               <ul>
-                <li>A logo for "basic" λδ: <a href="download/bld.pdf"><span
-                      style="font-style: italic;">bld.pdf</span></a>
-                  (revised <span style="font-weight: bold;">2008-07</span>).<br>
+                <li>A logo for λδ: <a href="images/crux_177.png"><span
+                      style="font-style: italic;">crux_177.png</span></a>
+                  (revised <span style="font-weight: bold;">2012-09</span>).<br>
                 </li>
               </ul>
             </td>
@@ -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-10-16 by <a
         href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
         Guidi</a><br>
     </div>