--- a/Admin/page/index.html Tue Nov 03 09:47:49 1998 +0100
+++ b/Admin/page/index.html Tue Nov 03 09:57:53 1998 +0100
@@ -130,10 +130,10 @@
<h2>Further information</h2>
<a href="http://www.cl.cam.ac.uk/Research/HVG/cambridge.html"><img
-src="cambridge.gif" width=144 border=0 align=right
+src="cambridge.gif" width=145 border=0 align=right
alt="[Cambridge]"></a> <a
href="http://www.in.tum.de/~isabelle/munich.html"><img
-src="munich.gif" width=47 border=0 align=right alt="[Munich]"></a> The
+src="munich.gif" width=48 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>