| changeset 14379 | ea10a8c3e9cf |
| parent 13053 | 68ffc262c766 |
| child 14574 | 8c4f90bb769d |
--- a/Admin/page/dist-content/docs.content Tue Feb 10 12:02:11 2004 +0100 +++ b/Admin/page/dist-content/docs.content Tue Feb 10 12:17:04 2004 +0100 @@ -26,6 +26,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 +<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>?