diff -r dae447f2b0b4 -r fc4c6458d569 Admin/website/community.html
--- a/Admin/website/community.html	Tue May 02 14:27:49 2006 +0200
+++ b/Admin/website/community.html	Tue May 02 16:19:53 2006 +0200
@@ -32,9 +32,10 @@
       <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="https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html">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>
+          problems and results.
+          To subscribe, contact our robot:
+          <a href="mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe</a>.
+    </p>
 
       <h2>Contributing theorems</h2>