aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-toolbar.el
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1999-09-23 17:08:36 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1999-09-23 17:08:36 +0000
commit726b5117f4e98affe497224f7d1a75b036b27378 (patch)
treeb1cdb400d9aee5cc94bb9fb379aa6f5849ab1ef4 /generic/proof-toolbar.el
parent801b00c8bbce3e973eac45e8ecf3d3aa3678e116 (diff)
Added implementation of proof-toolbar-find
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r--generic/proof-toolbar.el3
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)
;;