changeset 8070 | dbbef2367723 |
parent 8056 | 3c587e7b8fe5 |
child 8630 | c3af577e7c7b |
--- a/Admin/page/dist-content/source.content Tue Dec 21 15:03:02 1999 +0100 +++ b/Admin/page/dist-content/source.content Wed Dec 22 16:12:38 1999 +0100 @@ -22,3 +22,7 @@ Please see the Isabelle <a href="{ISABELLE}/README.html">README</a> file for more information. +<p> + +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>?)