--- a/Admin/page/dist-content/docs.content Mon Feb 28 18:29:55 2005 +0100
+++ b/Admin/page/dist-content/docs.content Tue Mar 01 05:44:13 2005 +0100
@@ -27,8 +27,8 @@
<p>
-Use the mailing list <a href="mailto:
-isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a>
+Use the mailing list <a
+href="mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a>
and its <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to
discuss problems and results. To subscribe, <a
href="mailto:lcp@cl.cam.ac.uk?subject=subscribe&body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact Larry Paulson</a>.