From fa6b912c49320fcb622f1c8285aaee9b452c6971 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Sep 1999 17:07:03 +0000
Subject: Added setting for proof-find-theorems-command.

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

diff --git a/isa/isa.el b/isa/isa.el
index 5d23ca16..d96db95a 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -134,6 +134,7 @@ no regular or easily discernable structure."
    proof-ctxt-string		"ProofGeneral.show_context()"
    proof-help-string		"ProofGeneral.help()"
    proof-kill-goal-command	"ProofGeneral.kill_goal();"
+   proof-find-theorems-command  "ProofGeneral.thms_containing [\"%s\"]"
    ;; command hooks
    proof-goal-command-p		'isa-goal-command-p
    proof-count-undos-fn		'isa-count-undos
-- 
cgit v1.2.3