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.
"Subscribe" link
authorpaulson
Fri, 06 Nov 1998 15:48:37 +0100
changeset 5808 f174f3be058f
parent 5807 bd2d9dd34dfd
child 5809 bacf85370ce0
"Subscribe" link
Admin/page/index.html file | annotate | diff | comparison | revisions 
--- 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>
isabelle