Set proof-find-theorems-command

1 files changed, 1 insertions, 0 deletions

diff --git a/coq/coq.el b/coq/coq.el
index ddf037d7..ca0f11cb 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -430,6 +430,7 @@
 	proof-help-string "Help"
 	proof-goal-command "Goal %s."
 	proof-save-command "Save %s."
+	proof-find-theorems-command "Search %s."
 	proof-kill-goal-command coq-kill-goal-command)
 
   (setq proof-goal-command-p 'coq-goal-command-p