aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2007-05-15 15:53:40 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2007-05-15 15:53:40 +0000
commit209e36687dd218a57ea18ba210431c41e3c93e71 (patch)
tree23fb972c47eed46de21e3d01e57967a0b0726c31 /CHANGES
parent8dcca990b42848d64334a8b65e96e78b1d67daa9 (diff)
Clarify buf hist activation.
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES6
1 files changed, 4 insertions, 2 deletions
diff --git a/CHANGES b/CHANGES
index f015ec78..81a6fb15 100644
--- a/CHANGES
+++ b/CHANGES
@@ -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