1.1 --- a/Admin/page/dist-content/docs.content	Tue Feb 10 12:02:11 2004 +0100
     1.2 +++ b/Admin/page/dist-content/docs.content	Tue Feb 10 12:17:04 2004 +0100
     1.3 @@ -26,6 +26,6 @@
     1.4  
     1.5  Use the mailing list <a href="mailto:
     1.6  isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
     1.7 -<a href="ftp://ftp.cl.cam.ac.uk/ml/index.html">archive</a> to discuss
     1.8 +<a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to discuss
     1.9  problems and results.  Why not <a
    1.10  href="mailto:lcp@cl.cam.ac.uk">subscribe</a>?