# HG changeset patch # User paulson # Date 1100273179 -3600 # Node ID 95cc0d4479163b9921befae09db8cafed9a985ac # Parent 25dc2f17661b5efc2b510b4bd58cd2dc59f49f5b improved "subscribe" link diff -r 25dc2f17661b -r 95cc0d447916 Admin/page/dist-content/docs.content --- a/Admin/page/dist-content/docs.content Fri Nov 12 15:49:25 2004 +0100 +++ b/Admin/page/dist-content/docs.content Fri Nov 12 16:26:19 2004 +0100 @@ -28,7 +28,8 @@

Use the mailing list isabelle-users@cl.cam.ac.uk and its -archive to discuss -problems and results. Why not subscribe? +isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk +and its archive to +discuss problems and results. To subscribe, contact Larry Paulson. +