diff options
Diffstat (limited to 'generic/proof-toolbar.el')
| -rw-r--r-- | generic/proof-toolbar.el | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 406d42a1..83e895a9 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -528,18 +528,6 @@ changed state." (defalias 'proof-toolbar-find 'proof-find-theorems) ;; -;; Show and hide buttons (not on toolbar) -;; - -(defun proof-toolbar-show-enable-p () t) -(defalias 'proof-toolbar-show 'pg-show-all-proofs) - -(defun proof-toolbar-hide-enable-p () t) -(defalias 'proof-toolbar-hide 'pg-hide-all-proofs) - - - -;; ;; Interrupt button ;; |