From 2266598d4bf11cda967951cfb9ba29297f779b4d Mon Sep 17 00:00:00 2001
From: weber <>
Date: Fri, 11 May 2007 17:46:42 +0000
Subject: Fix rename

---
 isar/isar-find-theorems.el | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/isar/isar-find-theorems.el b/isar/isar-find-theorems.el
index 7be415a8..383fd727 100644
--- a/isar/isar-find-theorems.el
+++ b/isar/isar-find-theorems.el
@@ -18,15 +18,15 @@
 (defun isar-find-theorems-minibuffer ()
   "Search for items containing given constants (using the minibuffer)."
   (interactive)
-  (let ((isar-find-theorems-command "find_theorems %s"))
-    (call-interactively 'isar-find-theorems))
+  (let ((proof-find-theorems-command "find_theorems %s"))
+    (call-interactively 'proof-find-theorems))
   '(nil))
 
 ;; isar-find-theorems-form (just like isar-find-theorems-minibuffer) can be
 ;; called interactively, and can be used as a value for
-;; isar-find-theorems-command (returning '(nil) means that the actual
+;; proof-find-theorems-command (returning '(nil) means that the actual
 ;; "find_theorems" command will NOT be issued to Isabelle by
-;; isar-find-theorems in this case, but only later on by a handler function
+;; proof-find-theorems in this case, but only later on by a handler function
 ;; for the form's "Find" button)
 
 (defun isar-find-theorems-form ()
-- 
cgit v1.2.3