# HG changeset patch
# User wenzelm
# Date 910041409 -3600
# Node ID dd83042c2f70cfa7fb9eb577ea7d2ba0409e32fb
# Parent  7ad4d71adfe104235d6528252dcd68b256d737e9
tuned pics;

diff -r 7ad4d71adfe1 -r dd83042c2f70 Admin/page/cambridge.gif
Binary file Admin/page/cambridge.gif has changed
diff -r 7ad4d71adfe1 -r dd83042c2f70 Admin/page/index.html
--- 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.