From bdabf268a9da019dbd939e04211e87d5459e4d9d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 14 Sep 2000 13:31:14 +0000
Subject: Updated

---
 CHANGES | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 2e573501..299fad14 100644
--- a/CHANGES
+++ b/CHANGES
@@ -30,12 +30,7 @@
   Also works around crash bug in xemacs-21.1.7/SuSE.
   Fix to previous function (used by FSF Emacs) by Markus Wenzel.
   XEmacs uses new functions which have slightly different 
-  behaviour.  If this is problematical, please report, and
-  force the use of the old function by writing:
-
-     (defalias 'proof-segment-up-to 'proof-segment-up-to-old)
- 
-  in your .emacs file. (Warning: only during pre-release!)
+  behaviour around comments.  
 
 *** Makefile has new target "scripts" to adjust paths in bash/perl scripts
 
-- 
cgit v1.2.3