lib/logo/index.html
changeset 15585 513aa9a3a26d
parent 7807 6a102f74ad0a
child 28504 7ad7d7d6df47
--- a/lib/logo/index.html	Mon Mar 07 19:30:53 2005 +0100
+++ b/lib/logo/index.html	Mon Mar 07 19:41:04 2005 +0100
@@ -1,10 +1,12 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
+
+<!-- $Id$ -->
 
 <html>
 
-<!-- $Id$ -->
-
 <head>
-<title>The Isabelle Logo</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
+  <title>The Isabelle Logo</title>
 </head>
 
 <body>
@@ -54,18 +56,14 @@
 
 <a name="plain"><img src="isabelle.gif" alt="[Isabelle logo]"></a> <p>
 
-<a name="transparent"><img src="isabelle_transparent.gif"
-alt="[Isabelle logo (transparent)]"></a> Note: This may look bad on
-black and white displays.  <p>
+<a name="transparent"><img src="isabelle_transparent.gif" alt="[Isabelle logo (transparent)]"></a> Note: This may look bad on
+black and white displays. <p>
 
-<a name="ZF"><img src="isabelle_zf.gif" alt="[Isabelle logo
-(ZF)]"></a> <p>
+<a name="ZF"><img src="isabelle_zf.gif" alt="[Isabelle logo (ZF)]"></a> <p>
 
-<a name="HOL"><img src="isabelle_hol.gif" alt="[Isabelle logo
-(HOL)]"></a> <p>
+<a name="HOL"><img src="isabelle_hol.gif" alt="[Isabelle logo (HOL)]"></a> <p>
 
-<a name="HOLCF"><img src="isabelle_holcf.gif" alt="[Isabelle logo
-(HOLCF)]"></a>
+<a name="HOLCF"><img src="isabelle_holcf.gif" alt="[Isabelle logo (HOLCF)]"></a>
 
 </body>
 </html>