diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 16:58:54 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 16:58:54 +0000 |
commit | 2a5709c354e09b06556f3f1e19bf2d9a5ad91564 (patch) | |
tree | 7c401cc749ec9a5a7ab2fcf127a04eb0ac298b67 /CHANGES | |
parent | b33e3f1c7f799aa3e0f3c70e023fa6a50cb308ad (diff) |
Updated.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 13 |
1 files changed, 12 insertions, 1 deletions
@@ -10,6 +10,17 @@ ** Generic changes +*** Improved display management + +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 horizontal split scheme for +three-pane mode (due to Pierre Courtieu), but three-pane mode also +works with three-way horizontal split as before. + *** Improved RPM packaging Three packages are provided: ProofGeneral, ProofGeneral-emacs-elc and @@ -174,7 +185,7 @@ strings) and theorems (outside). ** Changes for Isabelle Beginnings of support PGIP protocol (work in progress with Isabelle -2003). Presently allows Isabelle to configure Proof General prover +2004). Presently allows Isabelle to configure Proof General prover settings menu. Backward compatibility may not be maintained: it's simply too much |