From 78c9b5e8dd3a65d0147a9e55684b1db7d67f0080 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 10 Mar 2003 11:47:26 +0000
Subject: Updated.

---
 CHANGES | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index e185cd53..cdcade9c 100644
--- a/CHANGES
+++ b/CHANGES
@@ -29,14 +29,22 @@
 *** Bundling of X-Symbol Mode (4.5 beta)
 
     !!THIS IS WORK IN PROGRESS, IT MAY WELL BREAK X-SYMBOL FOR YOU!!
+    
+    [ Currenly should be working in Isabelle, not other provers ]
+
     To disable use of the bundled version, either delete/move away
     the x-symbol subdirectory, or load your own local version
-    first [put (require 'x-symbol-hooks) in .emacs].
+    first [put (require 'x-symbol-hooks) in .emacs, or unpack
+    in your own .xemacs directory].
 
     From now on, PG is not backward compatible with previous X-Symbol
     versions.  Either upgrade your installed version, or be careful to
     load PG first (so that the bundled version of X-Symbol is used).
 
+    Notice that the package version of X-Symbol may load itself first
+    by default during XEmacs startup, so it may be tricky to override.
+    If in doubt, run with "xemacs -no-site-file -q" first.
+
 *** Bundling of MMM Mode (for multiple modes in one buffer)
 
     MMM mode allows submodes to be used in the same file.
-- 
cgit v1.2.3