Doc

1 files changed, 1 insertions, 1 deletions

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)))