From d7b92f6627f709755a56065254362ae5bb9ca714 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 May 2003 12:53:25 +0000
Subject: Updated.

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

diff --git a/CHANGES b/CHANGES
index 4acedd4b..d15f7c92 100644
--- a/CHANGES
+++ b/CHANGES
@@ -12,7 +12,7 @@
 
 *** IN PROGRESS:  pre-compiled .elc files: recompile needed for GNU Emacs
 
-Proof General can now (almost) be reliably run as compiled code.
+Proof General can now be reliably run as compiled code.
 
 >>> Please help remove final difficulties by reporting problems <<<<
 
@@ -81,8 +81,11 @@ of (just) proof assistant settings.
 
 *** Display management: added shrink-windows-tofit option
 
-Attempt to shrink output windows to fit their contents in
-case it is less than 1/2 the window height.  In progress.  
+Attempt to shrink output windows to fit their contents in case it is
+less than 1/2 the window height.  In progress; occasional flaws
+(e.g. when output window buffer total window height).  Available
+under PG -> Options -> Display -> Shrink To Fit.
+
 
 *** Parsing internals changed: minor user visible differences
 
@@ -108,7 +111,8 @@ Reduce contrast for mouse highlighting of regions.
 ** Changes for Isabelle
 
 Beginnings of support PGIP protocol (work in progress with Isabelle
-CVS version).  Presently allows Isabelle to configure Proof General.
+2003).  Presently allows Isabelle to configure Proof General prover
+settings menu.
 
 Backward compatibility may not be maintained: it's simply too much
 effort.  This means that if you upgrade your Emacs version, which
-- 
cgit v1.2.3