diff -r 69c4d5997669 -r ea10a8c3e9cf Admin/page/main-content/index.content
--- a/Admin/page/main-content/index.content	Tue Feb 10 12:02:11 2004 +0100
+++ b/Admin/page/main-content/index.content	Tue Feb 10 12:17:04 2004 +0100
@@ -67,7 +67,7 @@
 
 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
+and its <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to
 discuss problems and results.  Why not <a
 href="mailto:lcp@cl.cam.ac.uk">subscribe</a>?