# HG changeset patch
# User paulson
# Date 1100166624 -3600
# Node ID 0c1d03e37881d10548a0dd8c4d0b38e3c1f035db
# Parent  baa90469961a34de08d0d5e9e6f1b89524f5998c
updated subscription wording and link

diff -r baa90469961a -r 0c1d03e37881 Admin/page/main-content/index.content
--- a/Admin/page/main-content/index.content	Thu Nov 11 10:26:40 2004 +0100
+++ b/Admin/page/main-content/index.content	Thu Nov 11 10:50:24 2004 +0100
@@ -108,6 +108,6 @@
 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.  Why not <a
-href="mailto:lcp@cl.cam.ac.uk">subscribe</a>? 
+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>.