From 89441f1672d3bbb948cfaf1ac17fac7aa581f2b3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2010 15:15:52 +0000
Subject: Clarify Q1

---
 FAQ | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/FAQ b/FAQ
index 6192091b..6b9bbb90 100644
--- a/FAQ
+++ b/FAQ
@@ -16,8 +16,9 @@ Q1. Proof General fails to load with an error message on start-up,
 
     What's wrong?
 
-A1. We distribute compiled .elcs for GNU Emacs 23.1, so you will have to
-    delete them and (optionally) recompile for your preferred 
+A1. We distribute compiled .elcs for one version of Emacs, but other
+    versions use different bytecode formats.  You will have to delete
+    the compiled files and (optionally) recompile for your preferred
     Emacs version.  Using the Makefile:
 
      make clean			#   removes all .elc files.  
@@ -26,6 +27,8 @@ A1. We distribute compiled .elcs for GNU Emacs 23.1, so you will have to
 
      make EMACS=emacs-22.3
 
+   (without the EMACS setting just uses 'emacs').
+
 -----------------------------------------------------------------
 
 Q2. Emacs appears to hang when the prover process is started.
-- 
cgit v1.2.3