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 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'etc/Mailman/intro-proofgeneral.html') 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 @@ -Proof General 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 Proof General developers list. +Proof General 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 support@proofgeneral.org instead of posting to this list. People who are interested in the development of Proof General should join the Proof General developers list. -- cgit v1.2.3