--- a/lib/html/index2.html Thu Aug 27 13:53:41 1998 +0200
+++ b/lib/html/index2.html Thu Aug 27 14:04:13 1998 +0200
@@ -4,7 +4,7 @@
<body>
-<img src="../gif/isabelle.gif" alt="Isabelle" align=center>
+<center><img src="../gif/isabelle.gif" alt="Isabelle"></center>
<p>