From 4936304bda8f1fed11aafd828be421eaf688a75d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 5 Oct 2003 15:56:39 +0000
Subject: Updated.

---
 FAQ | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index 0a35c69a..32932a34 100644
--- a/FAQ
+++ b/FAQ
@@ -47,7 +47,12 @@ A. This is an XEmacs bug.  What you can do is prevent the use
 
 -----------------------------------------------------------------
 
-Q. I have a problem installing/using Proof General, what can I do?
+Q. I have a problem installing/using Proof General.
+   For example, I see the message
+
+   (file-error "Cannot open load file" "executable")
+
+   when I start the program.
 
 A. Please check the documentation carefully, particularly the
    requirements for a full-featured and recent Emacs version, as
-- 
cgit v1.2.3