From 209e36687dd218a57ea18ba210431c41e3c93e71 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 May 2007 15:53:40 +0000
Subject: Clarify buf hist activation.

---
 CHANGES | 6 ++++--
 1 file 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
 
-- 
cgit v1.2.3