Admin/page/index.html
changeset 5808 f174f3be058f
parent 5807 bd2d9dd34dfd
child 6148 d97a944c6ea3
--- 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>