diff options
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 |