--- a/Admin/website/index.html Tue May 02 14:27:49 2006 +0200
+++ b/Admin/website/index.html Tue May 02 16:19:53 2006 +0200
@@ -72,9 +72,9 @@
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>.
+discuss 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>
</div>