--- a/Admin/page/index.html Mon Nov 02 22:00:12 1998 +0100
+++ b/Admin/page/index.html Mon Nov 02 22:16:49 1998 +0100
@@ -130,10 +130,11 @@
<h2>Further information</h2>
<a href="http://www.cl.cam.ac.uk/Research/HVG/cambridge.html"><img
-src="cambridge.gif" width=144 align=right alt="[Cambridge]"></a> <a
+src="cambridge.gif" width=144 border=0 align=right
+alt="[Cambridge]"></a> <a
href="http://www.in.tum.de/~isabelle/munich.html"><img
-src="munich.gif" width=47 align=right alt="[Munich]"></a> The local
-Isabelle pages at <a
+src="munich.gif" width=47 border=0 align=right alt="[Munich]"></a> The
+local Isabelle pages at <a
href="http://www.cl.cam.ac.uk/Research/HVG/cambridge.html">Cambridge</a>
and <a href="http://www.in.tum.de/~isabelle/munich.html">Munich</a>
provide further information on Isabelle and related projects.