--- 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>