diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-05-20 12:53:25 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-05-20 12:53:25 +0000 |
| commit | d7b92f6627f709755a56065254362ae5bb9ca714 (patch) | |
| tree | 56480d20a202d0b5ddeb0c6e90c9a210d3c206f9 /CHANGES | |
| parent | 1a2bd629e30c01afc61dd8a81903fff4623fa356 (diff) | |
Updated.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 12 |
1 files changed, 8 insertions, 4 deletions
@@ -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 |