--- a/Admin/website/index.html Thu Jul 28 12:22:02 2005 +0200
+++ b/Admin/website/index.html Thu Jul 28 12:38:11 2005 +0200
@@ -108,10 +108,12 @@
</p>
<p>
-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>.
+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:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">
+ contact our robot</a>.
</p>
</div>