From 503d9d0e7d197f396fde6477383c7d13df7505c1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 19 May 2004 11:08:06 +0000
Subject: FAQ about load file executable error

---
 FAQ | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index 1f3c8631..fbe759d3 100644
--- a/FAQ
+++ b/FAQ
@@ -13,6 +13,8 @@ Q. Proof General fails to load with an error message on start-up:
      error: "File `.../ProofGeneral/generic/proof-autoloads.elc' was 
      not compiled in Emacs"
 
+   What's wrong?
+
 A. We distribute .elcs for XEmacs, so you will have to delete
    them and (optionally) recompile for GNU Emacs.  Using the Makefile:
 
@@ -25,6 +27,17 @@ A. We distribute .elcs for XEmacs, so you will have to delete
 
 -----------------------------------------------------------------
 
+Q. Proof General fails to load with an error message like this: 
+
+     file mode specification error: (file-error "cannot open load file" "executable")
+
+   What's wrong?
+
+A. You're missing some Emacs (probably XEmacs) packages.  See
+   the section "Dependency on Other Emacs Packages" in INSTALL.
+
+-----------------------------------------------------------------
+
 Q. Where have my buffers gone?   They used to be on the Buffers menu!
 
 A. The PG "associated buffers" which display the proof state and
-- 
cgit v1.2.3