- milestone update in basic_2

[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 559993c3d2e9090614759012f46e4b605cb4ce32..4a3d1a5cd35ca0f6756d6865bb39390db7de60c5 100644 (file)
--- a/helm/www/lambda_delta/implementation.html
+++ b/helm/www/lambda_delta/implementation.html
@@ -296,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>
@@ -317,7 +317,7 @@ computer
         height: 31px;" alt="[PNG Used Here]" title="PNG Used Here"
         src="download/PNGnow2.png"><br>
       <br>
-      Last update 2012-04-16 by <a
+      Last update 2012-16-16 by <a
         href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
         Guidi</a><br>
     </div>