diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-16 09:11:10 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-16 09:11:10 +0000 |
| commit | 2dbce5c88bbf12e21c71f6e47337200a7a2bf070 (patch) | |
| tree | ab0ef55d4b545b3c45c1b5ff458b2abf08143afb /CHANGES | |
| parent | a151f24c7c3232cfdb5f6ee4142b2b0839bc5793 (diff) | |
Updated.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 13 |
1 files changed, 9 insertions, 4 deletions
@@ -6,21 +6,26 @@ *** Support for Speedbar and Index menu ("Imenu") -Imenu is an alternative to Function Menu (which is described in the -Proof General manual). It displays a menu of named definitions, -theorems, etc, in the file and allows quick navigation to them. +Imenu is an alternative to Function Menu (which has been supported for +some time, but is not built-in to GNU Emacs). It displays a menu of +named definitions, theorems, etc, in the file and allows quick +navigation to them. Speedbar displays a file tree in a separate window on the display, allowing quick navigation. Middle/double-clicking or pressing + on a file icon opens up to display tags (definitions, theorems, etc) within the file. Middle/double-clicking on a file or tag jumps to that file/tag. -To use Imenu, select Proof General -> Options -> Index Menu. +To use Imenu, select Proof General -> Options -> Index Menu. This adds +an "Index" menu to the main menu bar. You can also use M-x imenu for +keyboard-driven completion. To use Speedbar, use Tools -> Display Speedbar (GNU Emacs), or Proof General -> Advanced -> Speedbar (XEmacs). Or if you prefer the old fashioned way, `M-x speedbar' does the same job. +For more about Speedbar, see http://cedet.sourceforge.net/speedbar.shtml + *** Improved display management The display handling functions have been overhauled to cope with |