diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 2 |
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))) |