# 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?)
+