diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-09-23 17:08:36 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-23 17:08:36 +0000 |
commit | 726b5117f4e98affe497224f7d1a75b036b27378 (patch) | |
tree | b1cdb400d9aee5cc94bb9fb379aa6f5849ab1ef4 /generic/proof-toolbar.el | |
parent | 801b00c8bbce3e973eac45e8ecf3d3aa3678e116 (diff) |
Added implementation of proof-toolbar-find
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) ;; |