--- a/Admin/website/index.html Wed May 03 12:05:53 2006 +0200
+++ b/Admin/website/index.html Wed May 03 17:41:28 2006 +0200
@@ -74,7 +74,7 @@
<a href="https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html">archive</a> to
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>.
+ <a href="mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">Cl-isabelle-users-request@lists.cam.ac.uk</a>.
</p>
</div>