--- a/Admin/page/main-content/index.content Tue Feb 13 16:05:56 2001 +0100
+++ b/Admin/page/main-content/index.content Tue Feb 13 16:31:18 2001 +0100
@@ -19,11 +19,12 @@
<ul>
-<li> <a
+<li><a
href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><strong>Isabelle
-at Cambridge</strong></a>
+at Cambridge</strong></a>
-<li> <a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle at Munich</strong></a>
+<li><a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle
+at Munich</strong></a>
</ul>