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