diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-05-15 15:53:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-05-15 15:53:40 +0000 |
commit | 209e36687dd218a57ea18ba210431c41e3c93e71 (patch) | |
tree | 23fb972c47eed46de21e3d01e57967a0b0726c31 /CHANGES | |
parent | 8dcca990b42848d64334a8b65e96e78b1d67daa9 (diff) |
Clarify buf hist activation.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -14,10 +14,12 @@ for examining previous proof state outputs without actually issuing undo/redo commands to the prover, for example. Of for browsing previous displays of theorems or rules. -To use this, enable Proof General -> Option -> Response History. +To use this, enable Proof General -> Options -> Response History +before starting the proof assistant. Then the keys M-left, M-right will browse the history in -each buffer. See "C-h m" for more documentation. +each response buffer. See "C-h m" for more documentation +of "Bufhist minor mode" in a response buffer. *** Large X-Symbol fonts added, courtesy of Clemens Ballarin |