]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/index.html
additions in basic_2
[helm.git] / helm / www / lambda_delta / index.html
index e8e60f741e953f440dc57e0811583616f4b0d6a8..9c266a31e557610c2b8456add221d077d31ac30e 100644 (file)
@@ -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>