From 4bbcba48bd323b6b9ae4253b56dd6c0322d1d418 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 9 Aug 2002 11:19:29 +0000
Subject: Doc

---
 generic/proof-script.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index de4e36e8..dc0b4b7b 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -592,6 +592,7 @@ NAME does not need to be unique."
     ;; (sit-for 0) not enough
     (redraw-frame (selected-frame))))
 
+;; Next two could be in pg-user.el.  No key-bindings for these.
 (defun pg-show-all-proofs ()
   "Display all completed proofs in the buffer."
   (interactive)
@@ -602,7 +603,6 @@ NAME does not need to be unique."
   (interactive)
   (pg-show-all-portions "proof" 'hide))
 
-
 (defun pg-add-proof-element (name span controlspan)
   "Add a nested span proof element."
   (let ((proofid   (proof-next-element-id 'proof)))
-- 
cgit v1.2.3