# HG changeset patch # User paulson # Date 910363717 -3600 # Node ID f174f3be058f9b16e2e57b3e016f9beb594bd2b7 # Parent bd2d9dd34dfd49d28393657ee141c9b4b54ee585 "Subscribe" link diff -r bd2d9dd34dfd -r f174f3be058f Admin/page/index.html --- 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 isabelle-users@cl.cam.ac.uk to -discuss problems and results. +discuss problems and results. +(Why not subscribe?) +