From a17a66857c2de3db2b1d3a36fe8bea3fd9a48061 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 1 Sep 2005 14:37:10 +0000
Subject: renamed thms_containing to find_theorems;

---
 isar/isar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isar/isar.el b/isar/isar.el
index ca05bcc0..98ba2f81 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -165,7 +165,7 @@ See -k option for Isabelle interface script."
    proof-context-command        "print_context"
    proof-info-command           "welcome"
    proof-kill-goal-command      "ProofGeneral.kill_proof"
-   proof-find-theorems-command  "thms_containing %s"
+   proof-find-theorems-command  "find_theorems %s"
    proof-shell-start-silent-cmd "disable_pr"
    proof-shell-stop-silent-cmd  "enable_pr"
    ;; command hooks
-- 
cgit v1.2.3