# HG changeset patch
# User wenzelm
# Date 923492596 -7200
# Node ID 07e95e4cfefe8098c8ae328f6ecde36918e185d2
# Parent  4d8d66f0acab8b7ab7bd63af8a3ac4cc713cb511
fixed @@;

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>