From 365deef3a6fac0821e81ae691b92f2af386611d9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 4 Mar 2007 13:31:56 +0000
Subject: Choose Emacs instead of XEmacs

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

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index 0b97a8a9..34962cef 100644
--- a/FAQ
+++ b/FAQ
@@ -73,8 +73,8 @@ Q. Proof General fails to load with an error message on start-up:
 
    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:
+A. We distribute .elcs for GNU Emacs, so you will have to delete
+   them and (optionally) recompile for XEmacs.  Using the Makefile:
 
      Use 'make clean' to remove all .elc files.  
      Use 'make compile' to recompile .elc files.
-- 
cgit v1.2.3