X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Findex.html;h=9c266a31e557610c2b8456add221d077d31ac30e;hb=a1191a7aea28f2886f2ea7a13c43e8739a62f0ef;hp=e8e60f741e953f440dc57e0811583616f4b0d6a8;hpb=0a5a2f3cf0e3f748feb5beaad413181163504509;p=helm.git

diff --git a/helm/www/lambda_delta/index.html b/helm/www/lambda_delta/index.html
index e8e60f741..9c266a31e 100644
--- a/helm/www/lambda_delta/index.html
+++ b/helm/www/lambda_delta/index.html
@@ -80,10 +80,10 @@ user <img style="width: 37px; height: 37px;" alt="[Butterfly]"
  title="Butterfly" src="download/b3.png"></h3>
 To view this site
 correctly, please select a font with <a href="http://www.unicode.org/">Unicode</a>
-support.<br>
+support.
 For example <span style="font-weight: bold;">Lucida Sans Unicode</span>
-(it should be already installed on your system).<br>
-To change the current font follow: <br>
+(it should be already installed on your system).
+To change the current font follow:
       <span style="font-weight: bold;">"Tools" menu → "Internet
 Options" entry → "General" tab → "Fonts" button.</span><br>
       </td>
@@ -98,13 +98,13 @@ Options" entry → "General" tab → "Fonts" button.</span><br>
  style="border: 0px solid ; width: 88px; height: 31px;"></a> <a
  href="http://www.anybrowser.org/campaign/"><img
  alt="[Use Any Browser Here]" title="Use Any Browser Here"
- src="http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png"
+ src="download/globe_trans.png"
  style="border: 0px solid ; width: 147px; height: 42px;"></a> <img
  style="width: 88px; height: 31px;" alt="[PNG Used Here]"
  title="PNG Used Here"
- src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"><br>
+ src="download/PNGnow2.png"><br>
 <br>
-Last update 2010-12-14 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
+Last update 2011-09-09 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
 Guidi</a><br>
 </div>
 </body>