| changeset 6411 | 07e95e4cfefe |
| parent 6150 | 71974ec3ebfb |
| child 7948 | 61102e8cbe3c |
--- 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>