# HG changeset patch
# User paulson
# Date 1122547430 -7200
# Node ID eef31b35d2a6ebb99b9ccf99e02ac86edc061d37
# Parent  f003e0d35181b3af8f74aa0283deefedf6b20560
now for Mailman-enabled mailing list

diff -r f003e0d35181 -r eef31b35d2a6 Admin/website/community.html
--- a/Admin/website/community.html	Thu Jul 28 12:38:11 2005 +0200
+++ b/Admin/website/community.html	Thu Jul 28 12:43:50 2005 +0200
@@ -29,13 +29,12 @@
 
       <h2>Mailing list</h2> 
 
-      <p>You may use the mailing list <a
-      href="&#109;&#97;&#105;&#108;&#116;&#111;:&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#117;&#115;&#101;&#114;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;">&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#117;&#115;&#101;&#114;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;</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="&#109;&#97;&#105;&#108;&#116;&#111;:&#108;&#99;&#112;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;?subject=subscribe&amp;body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact
-      Larry Paulson</a>.</p>
+      <p>You may 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>
 
       <h2>Contributing theorems</h2>