From 7f7b142512c25bce813233f10b7c8d1b9bf4246a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Sep 1999 17:17:43 +0000
Subject: Set proof-find-theorems-command

---
 coq/coq.el | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3