# HG changeset patch
# User paulson
# Date 910363717 -3600
# Node ID f174f3be058f9b16e2e57b3e016f9beb594bd2b7
# Parent  bd2d9dd34dfd49d28393657ee141c9b4b54ee585
"Subscribe" link

diff -r bd2d9dd34dfd -r f174f3be058f Admin/page/index.html
--- a/Admin/page/index.html	Fri Nov 06 14:04:54 1998 +0100
+++ b/Admin/page/index.html	Fri Nov 06 15:48:37 1998 +0100
@@ -144,7 +144,9 @@
 
 Use the mailing list <a href="mailto:
 isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> to
-discuss problems and results.
+discuss problems and results.  
+(Why not <A HREF="mailto:lcp@@cl.cam.ac.uk">subscribe</A>?)
+
 
 </body>