# HG changeset patch
# User paulson
# Date 1109755277 -3600
# Node ID 10c5c689aa20933633c352eecbd9b09a60a58534
# Parent f5f4f89a3b84d15d833ff1c433412a9c676da2d3
obscured the e-mail address lcp@cl
diff -r f5f4f89a3b84 -r 10c5c689aa20 Admin/page/dist-content/docs.content
--- a/Admin/page/dist-content/docs.content Wed Mar 02 10:02:21 2005 +0100
+++ b/Admin/page/dist-content/docs.content Wed Mar 02 10:21:17 2005 +0100
@@ -30,6 +30,5 @@
Use the mailing list isabelle-users@cl.cam.ac.uk
and its archive to
-discuss problems and results. To subscribe, contact Larry Paulson.
+discuss problems and results. To subscribe, contact Larry Paulson.
diff -r f5f4f89a3b84 -r 10c5c689aa20 Admin/page/main-content/index.content
--- a/Admin/page/main-content/index.content Wed Mar 02 10:02:21 2005 +0100
+++ b/Admin/page/main-content/index.content Wed Mar 02 10:21:17 2005 +0100
@@ -132,6 +132,5 @@
Use the mailing list isabelle-users@cl.cam.ac.uk
and its archive to
-discuss problems and results. To subscribe, contact Larry Paulson.
+discuss problems and results. To subscribe, contact Larry Paulson.