1.1 --- a/Admin/page/main-content/index.content	Tue Feb 13 16:05:56 2001 +0100
     1.2 +++ b/Admin/page/main-content/index.content	Tue Feb 13 16:31:18 2001 +0100
     1.3 @@ -19,11 +19,12 @@
     1.4  
     1.5  <ul>
     1.6  
     1.7 -<li> <a
     1.8 +<li><a
     1.9  href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><strong>Isabelle
    1.10 -at Cambridge</strong></a> 
    1.11 +at Cambridge</strong></a>
    1.12  
    1.13 -<li> <a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle at Munich</strong></a>
    1.14 +<li><a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle
    1.15 +at Munich</strong></a>
    1.16  
    1.17  </ul>
    1.18