Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed @@;
authorwenzelm
Wed, 07 Apr 1999 15:43:16 +0200
changeset 6411 07e95e4cfefe
parent 6410 4d8d66f0acab
child 6412 9309bc455432
fixed @@;
Admin/page/index.html file | annotate | diff | comparison | revisions 
--- 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>
isabelle