--- 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>?