From 9d0f7a3b737b5d9feb2ff49e0ccb34c706cd96bd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 18 Apr 2004 10:57:26 +0000
Subject: Updated.

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

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index b95054bb..6daa8457 100644
--- a/CHANGES
+++ b/CHANGES
@@ -30,12 +30,13 @@ For more about Speedbar, see http://cedet.sourceforge.net/speedbar.shtml
 
 The display handling functions have been overhauled to cope with
 latest API changes and diversions between Emacs versions.  Multiframe
-mode should now work on both Emacs versions, with cut-down frames (no
-toolbars, etc).  There is a new user-level function
-`proof-layout-windows' which displays windows in a default form for
-the current display mode.  This uses a vertical-horizontal split
-scheme for three-pane mode (due to Pierre Courtieu), but three-pane
-mode also works with three-way horizontal split as before.
+mode should now work reasonably well on both Emacs versions, with
+cut-down frames (no toolbars, etc).  There is a new user-level
+function `proof-layout-windows' which displays windows in a default
+form for the current display mode.  This uses a vertical-horizontal
+split scheme for three-pane mode (due to Pierre Courtieu), but
+three-pane mode also works with three-way horizontal split as before.
+But see note in BUGS for remaining issues.
 
 *** More example proofs included
 
-- 
cgit v1.2.3