From a363ab8c69697bf7a1a57ee3589246204174f999 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 21 Apr 2004 09:47:10 +0000
Subject: Tweak some text

---
 CHANGES | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/CHANGES b/CHANGES
index 6daa8457..41c46807 100644
--- a/CHANGES
+++ b/CHANGES
@@ -50,7 +50,7 @@ The "root2" example proofs of the irrationality of the square root of
 2 were proofs written as a response to a challenge of Freek Wiedijk in
 his comparison of different theorem provers, see
 http://www.cs.kun.nl/~freek/comparison/.  Those proof scripts are
-copyright by their named authors.
+copyright by their named authors or as mentioned in the files.
 
 
 *** Improved RPM packages
@@ -102,9 +102,9 @@ Notice that the package version of X-Symbol may load itself first by
 default during XEmacs startup (especially if you have it installed
 site-wide), so it may be tricky to override.  You can prevent this
 with "xemacs -no-autoloads", but that may result in other needed
-packages not being loaded!  There seems to be no good way around this
-provided in XEmacs.  In case of problems, consult your sysadmin to try
-to prevent global loading of x-symbol.
+packages not being loaded!  There is an attempt to prevent the
+built-in version loading in Proof General, but in case of problems,
+consult your sysadmin to try to prevent global loading of x-symbol.
 
 *** Bundling of MMM Mode (for multiple modes in one buffer)
 
-- 
cgit v1.2.3