From d6b24c7d22a022ca2cd39ebd5a5ba6c3df095f03 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 13 Dec 2007 23:24:20 +0000
Subject: Updated.

---
 CHANGES | 15 ---------------
 1 file changed, 15 deletions(-)

diff --git a/CHANGES b/CHANGES
index b8b30b6e..09350d66 100644
--- a/CHANGES
+++ b/CHANGES
@@ -16,21 +16,6 @@ See also etc/release-log.txt for minor patches.
 - Many code cleanups from Stefan Monnier.
 
 
-*** History mechanism for prover responses
-
-Proof General keeps a history of the last 10 responses from the prover
-in each of the buffers used to display messages.  This is handy for
-examining previous proof state outputs without actually issuing
-undo/redo commands to the prover, for example.  Or for browsing
-previous displays of theorems or rules.
-
-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 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
 
 May use option -f 18 or -f 24 of the Isabelle interface wrapper.
-- 
cgit v1.2.3