From 0751b5a9db4048e426d3f0adfb688016752b36c7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Aug 2002 12:39:57 +0000
Subject: Update intros.

---
 etc/Mailman/intro-proofgeneral.html      | 4 +++-
 etc/Mailman/intro-proofgeneraldevel.html | 3 ++-
 2 files changed, 5 insertions(+), 2 deletions(-)

(limited to 'etc')

diff --git a/etc/Mailman/intro-proofgeneral.html b/etc/Mailman/intro-proofgeneral.html
index 291b0735..d66cc397 100644
--- a/etc/Mailman/intro-proofgeneral.html
+++ b/etc/Mailman/intro-proofgeneral.html
@@ -1 +1,3 @@
-<a href="http://www.proofgeneral.org">Proof General</a> is a generic interface for proof assistants, currently based on Emacs. This mailing list is for the announcement of new versions of Proof General and discussions about using Proof General.  People who are interested in the development of Proof General should also join the <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral-devel">Proof General developers list</a>.
+<a href="http://www.proofgeneral.org">Proof General</a> is a generic interface for proof assistants, currently based on Emacs. This mailing list is for the announcement of new versions of Proof General and discussions about using Proof General.  Posting is only available to list members.  
+
+If you have a problem with using or configuring Proof General, please contact <a href="mailto:support@proofgeneral.org">support@proofgeneral.org</a> instead of posting to this list.  People who are interested in the development of Proof General should join the <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral-devel">Proof General developers list</a>.
diff --git a/etc/Mailman/intro-proofgeneraldevel.html b/etc/Mailman/intro-proofgeneraldevel.html
index 3122c822..ef926a63 100644
--- a/etc/Mailman/intro-proofgeneraldevel.html
+++ b/etc/Mailman/intro-proofgeneraldevel.html
@@ -1,3 +1,4 @@
 <a href="http://www.proofgeneral.org">Proof General</a> is a generic interface for proof assistants, currently based on Emacs. This mailing list is for developers of Proof General to discuss issues in the development of new versions of Proof General, such as new features and adaptation to new proof assistants.  
+Posting is only available to list members.
 
-For announcements about Proof General and discussion of using it, subscribe to the <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral">ProofGeneral users list</a> (announcements sent there will <b>not</b> be duplicated here).
+For announcements about Proof General and discussion of using it, subscribe to the <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral">ProofGeneral users list</a>.  Announcements sent there will <b>not</b> be duplicated here.
-- 
cgit v1.2.3