From b2b9f749400e3696d6350c6130240e6f91642b8f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Aug 2002 12:18:27 +0000
Subject: Contact in case of probs.

---
 README | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

(limited to 'README')

diff --git a/README b/README
index a8da7dd2..491f3550 100644
--- a/README
+++ b/README
@@ -16,16 +16,14 @@ Please help us with this aim!  Configure Proof General for your proof
 assistant, by adding features at the generic level wherever possible.
 Send ideas, comments, patches, code to feedback@proofgeneral.org
 
-See INSTALL for installation details.
-
-See COPYING for license details.
-
-See REGISTER for registration information (please register).
-
-See doc/ for documentation of Proof General.
+See INSTALL   for installation details.
+    COPYING   for license details.
+    REGISTER  for registration information (please register).
+    FAQ, doc/ for documentation of Proof General.
 
 See http://www.proofgeneral.org/mailinglist for the Proof General
-mailing lists.
+mailing lists.  If you have problems, please contact 
+support@proofgeneral.org in the first instance.
 
 For notes on the supported assistants, see the README files
 in the subdirectories:
-- 
cgit v1.2.3