From 1583eb204e175319583b639d2786913f78b8e490 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 9 Sep 2009 23:16:40 +0000
Subject: *** empty log message ***

---
 CHANGES | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/CHANGES b/CHANGES
index 0a04c703..77059bcc 100644
--- a/CHANGES
+++ b/CHANGES
@@ -24,9 +24,8 @@
 
 *** Simplified version of comint now used for proof shell
     To improve efficiency, a cut-down version of comint is now used.
-    This means that the editing, history and decoration inside the
-    proof shell (*coq*, *isabelle*, etc) are impoverished
-    compared with PG 3.X.
+    Editing, history and decoration in the shell (*coq*, *isabelle*,
+    etc) are impoverished compared with PG 3.X.
 
 *** New user configuration options
     proof-auto-raise-buffers  (set to nil for manual control)
-- 
cgit v1.2.3