diff -r 4d8d66f0acab -r 07e95e4cfefe Admin/page/index.html
--- a/Admin/page/index.html	Sun Apr 04 16:07:33 1999 +0200
+++ b/Admin/page/index.html	Wed Apr 07 15:43:16 1999 +0200
@@ -155,7 +155,7 @@
 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.  
-(Why not <A HREF="mailto:lcp@@cl.cam.ac.uk">subscribe</A>?)
+(Why not <A HREF="mailto:lcp@cl.cam.ac.uk">subscribe</A>?)
 
 
 </body>