diff options
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r-- | generic/proof-toolbar.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index c8cfa3e7..1fda10dc 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -452,8 +452,7 @@ Move point if the end of the locked position is invisible." (defun proof-toolbar-find-enable-p () (proof-shell-available-p)) -(defun proof-toolbar-find () - nil) +(defalias 'proof-toolbar-find 'proof-find-theorems) ;; |