diff -r 19b9f92ca503 -r dbbef2367723 Admin/page/dist-content/source.content
--- 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>?)