Contact in case of probs.

2 files changed, 16 insertions, 8 deletions

diff --git a/FAQ b/FAQ
index b41888ae..d135b37f 100644
--- a/FAQ
+++ b/FAQ
@@ -7,6 +7,16 @@ Credits to the anonymous authors of questions/answers below.
 
 -----------------------------------------------------------------
 
+Q. I have a problem installing/using Proof General, what can I do?
+
+A. Please check the documentation carefully, particularly the
+   requirements for a full-featured and recent Emacs version, as
+   mentioned in INSTALL (see "Dependency on Other Emacs Packages").  
+   If you still cannot solve your problem, send a message to
+   support@proofgeneral.org in the first instance.
+
+-----------------------------------------------------------------
+
 Q. I'm using Proof General for prover X, then I load a file for prover Y.
    The buffer doesn't enter the mode for prover Y.  Why not?
 
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: