--- a/lib/html/index.html Mon Mar 07 19:30:53 2005 +0100
+++ b/lib/html/index.html Mon Mar 07 19:41:04 2005 +0100
@@ -1,6 +1,13 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
+
+<!-- $Id$ -->
+
<html>
-<head><title>The Isabelle Library ({ISABELLE})</title></head>
+<head>
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
+ <title>The Isabelle Library ({ISABELLE})</title>
+</head>
<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">