diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-18 10:57:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-18 10:57:26 +0000 |
| commit | 9d0f7a3b737b5d9feb2ff49e0ccb34c706cd96bd (patch) | |
| tree | eff814f367cbb37d7f273c2837a061bec55d92fc /CHANGES | |
| parent | 8434363ba8e148c4b239576d734f3e52486cd074 (diff) | |
Updated.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 13 |
1 files changed, 7 insertions, 6 deletions
@@ -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 |