diff -r 4a3cd038aff8 -r 947b7b8b0a69 Admin/page/main-content/index.content
--- a/Admin/page/main-content/index.content	Fri Oct 06 15:15:19 2000 +0200
+++ b/Admin/page/main-content/index.content	Fri Oct 06 16:11:53 2000 +0200
@@ -55,6 +55,6 @@
 Use the mailing list <a href="mailto:
 isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> 
 and its <a href="ftp://ftp.cl.cam.ac.uk/ml/index.html">archive</a> to
-discuss problems and results.  Why not <A
-HREF="mailto:lcp@cl.cam.ac.uk">subscribe</A>? 
+discuss problems and results.  Why not <a
+href="mailto:lcp@cl.cam.ac.uk">subscribe</a>?