diff options
author | 2004-05-07 00:22:55 +0000 | |
---|---|---|
committer | 2004-05-07 00:22:55 +0000 | |
commit | 334c7fd0210bbe065661ee8bf47fb38f5d85daf4 (patch) | |
tree | 741334815d002dc6e227a744b41d7cd99b719c88 /FAQ | |
parent | 902dd5e2250891e71ae0ce9a3f4b1304366a60c3 (diff) |
Explain buffer invisibility
Diffstat (limited to 'FAQ')
-rw-r--r-- | FAQ | 20 |
1 files changed, 20 insertions, 0 deletions
@@ -25,6 +25,26 @@ A. We distribute .elcs for XEmacs, so you will have to delete ----------------------------------------------------------------- +Q. Where have my buffers gone? They used to be on the Buffers menu! + +A. The PG "associated buffers" which display the proof state and +prover responses (and trace information when used) are now hidden from +the XEmacs tabs and buffer menus, to reduce clutter. + +The idea is that you should only rarely need to select the buffer to +display explicitly. Sometimes Emacs does its own thing, though! To +find the buffers you can use the convenient keystrokes `C-c C-o' +(proof-display-some-buffers) or `C-c C-l' (proof-layout-windows). +See the manual for more details about the display mechanisms. + +The buffers are hidden from menus by the standard Emacs mechanism of +beginning their names with a space. So if you are looking for +"*prover-goals*" by keyboard `C-x b' the buffer is now called +" *prover-goals*". + + +----------------------------------------------------------------- + Q. Emacs appears to hang when the prover process is started. A. This may be because of UTF-8 issues e.g in Red Hat 8.0/9/glibc 2.2 |