aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2003-05-20 12:53:25 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2003-05-20 12:53:25 +0000
commitd7b92f6627f709755a56065254362ae5bb9ca714 (patch)
tree56480d20a202d0b5ddeb0c6e90c9a210d3c206f9 /CHANGES
parent1a2bd629e30c01afc61dd8a81903fff4623fa356 (diff)
Updated.
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES12
1 files 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