1.1 --- a/Admin/page/main-content/index.content	Fri Oct 06 15:15:19 2000 +0200
     1.2 +++ b/Admin/page/main-content/index.content	Fri Oct 06 16:11:53 2000 +0200
     1.3 @@ -55,6 +55,6 @@
     1.4  Use the mailing list <a href="mailto:
     1.5  isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> 
     1.6  and its <a href="ftp://ftp.cl.cam.ac.uk/ml/index.html">archive</a> to
     1.7 -discuss problems and results.  Why not <A
     1.8 -HREF="mailto:lcp@cl.cam.ac.uk">subscribe</A>? 
     1.9 +discuss problems and results.  Why not <a
    1.10 +href="mailto:lcp@cl.cam.ac.uk">subscribe</a>? 
    1.11