From 0911b24487c4e85f3c5ed3d0e6d00bc338428af4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 13:35:04 +0000
Subject: Updated.

---
 FAQ | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/FAQ b/FAQ
index 2e4f3aa2..06320165 100644
--- a/FAQ
+++ b/FAQ
@@ -23,12 +23,15 @@ A. We distribute compiled .elcs for GNU Emacs 22.1, so you will have to
    delete them and (optionally) recompile for your preferred 
    Emacs version.  Using the Makefile:
 
-     Use 'make clean' to remove all .elc files.  
-     Use 'make compile EMACS=xemacs' to recompile .elc files for "xemacs".
- 
-   Note: GNU Emacs is recommended.  To start Isabelle using the 
-   Isabelle command with GNU Emacs instead of the default xemacs, 
-   use "Isabelle -p emacs"
+     make clean			#   removes all .elc files.  
+
+   and then a command like this:
+
+     make EMACS=xemacs
+
+   Note: GNU Emacs is recommended.  XEmacs support may be removed 
+   in future.
+
    
 
 -----------------------------------------------------------------
-- 
cgit v1.2.3