# HG changeset patch
# User paulson
# Date 1100273179 -3600
# Node ID 95cc0d4479163b9921befae09db8cafed9a985ac
# Parent  25dc2f17661b5efc2b510b4bd58cd2dc59f49f5b
improved "subscribe" link

diff -r 25dc2f17661b -r 95cc0d447916 Admin/page/dist-content/docs.content
--- a/Admin/page/dist-content/docs.content	Fri Nov 12 15:49:25 2004 +0100
+++ b/Admin/page/dist-content/docs.content	Fri Nov 12 16:26:19 2004 +0100
@@ -28,7 +28,8 @@
 <p>
 
 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>?
+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:lcp@cl.cam.ac.uk?subject=subscribe&body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact Larry Paulson</a>. 
+