*** empty log message ***

1 files 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)