# HG changeset patch
# User wenzelm
# Date 917023273 -3600
# Node ID 372919b37b5d2a1c2d76ccdc1c86d5d9e5ccaa82
# Parent  d97a944c6ea3fb0effd6cec20d760fde4df05ff8
tuned;

diff -r d97a944c6ea3 -r 372919b37b5d Admin/page/index.html
--- a/Admin/page/index.html	Wed Jan 20 18:07:34 1999 +0100
+++ b/Admin/page/index.html	Fri Jan 22 17:41:13 1999 +0100
@@ -21,15 +21,23 @@
 
 <a
 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
-src="cambridge.gif" width=145 border=0 align=right
-alt="[Cambridge]"></a> <a
-href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif"
-width=48 border=0 align=right alt="[Munich]"></a> This page provides
-general information on Isabelle, more details are available on the
-local Isabelle pages at <a
-href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html">Cambridge</a>
-and <a href="http://isabelle.in.tum.de/munich.html">Munich</a>.  See
-there for information on projects done with Isabelle, mailing list
+src="cambridge.gif" width=145 border=0 align=right alt="[Cambridge
+logo]"></a> <a href="http://isabelle.in.tum.de/munich.html"><img
+src="munich.gif" width=48 border=0 align=right alt="[Munich
+logo]"></a> This page provides general information on Isabelle, more
+specific information is available from the local pages
+
+<ul>
+
+<li> <a
+href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><strong>Isabelle
+at Cambridge</strong></a> 
+
+<li> <a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle
+at Munich</strong></a>
+
+</ul>
+See there for information on projects done with Isabelle, mailing list
 archives, research papers, the Isabelle bibliography, and Isabelle
 workshops and courses.