1.1 --- a/Admin/website/community.html	Fri Feb 17 03:30:50 2006 +0100
     1.2 +++ b/Admin/website/community.html	Fri Feb 17 08:42:41 2006 +0100
     1.3 @@ -31,7 +31,7 @@
     1.4  
     1.5        <p>You may use the mailing list <a href=
     1.6            "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
     1.7 -          <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to discuss
     1.8 +          <a href="https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html">archive</a> to discuss
     1.9            problems and results. To subscribe, <a href=
    1.10            "mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">
    1.11            contact our robot</a>.</p>