From 2e30ffb7fc4c5ce9ae3405527e6ac733291827b0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 01:31:25 +0000
Subject: Update magic

---
 doc/ProofGeneral.texi | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index a8d91828..a3b1695f 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1386,9 +1386,11 @@ key-bindings and functions.
 
 @c TEXI DOCSTRING MAGIC: proof-display-some-buffers
 @deffn Command proof-display-some-buffers 
-Display the reponse or goals buffer, toggling between them.@*
-Also move point to the end of the response buffer.
-If in three window or multiple frame mode, display both buffers.
+Display the reponse, goals, trace, or shell buffer, rotating.@*
+A fixed number of repetitions of this command switches back to
+the same buffer.
+Also move point to the end of the response buffer if it's selected.
+If in three window or multiple frame mode, display two buffers.
 @end deffn
 
 @c TEXI DOCSTRING MAGIC: proof-prf
-- 
cgit v1.2.3