From ec9f0bab90f293359d3fc44e835d20d37eded836 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 28 Sep 1999 16:36:27 +0000
Subject: Updated

---
 doc/ProofGeneral.texi | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 504c19a3..3957c245 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -973,6 +973,8 @@ prover is processing it.}
 @code{proof-retract-until-point-interactive}
 @item C-c b
 @code{proof-process-buffer}
+@item C-c r
+@code{proof-retract-buffer}
 @item C-c @var{terminator-character}
 @code{proof-active-terminator-minor-mode}
 @end table
-- 
cgit v1.2.3