X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Findex.html;h=9c266a31e557610c2b8456add221d077d31ac30e;hb=33f5240193f527ef11619d3ae89cdbf2bfcecb07;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
To view this site
correctly, please select a font with Unicode
-support.
+support.
For example Lucida Sans Unicode
-(it should be already installed on your system).
-To change the current font follow:
+(it should be already installed on your system).
+To change the current font follow:
"Tools" menu â "Internet
Options" entry â "General" tab â "Fonts" button.
@@ -98,13 +98,13 @@ Options" entry â "General" tab â "Fonts" button.
style="border: 0px solid ; width: 88px; height: 31px;">
+ src="download/PNGnow2.png">
-Last update 2010-12-14 by Ferruccio
+Last update 2011-09-09 by Ferruccio
Guidi