From 50e213462dc393e97b8b9bc70b94d78a1c22aca6 Mon Sep 17 00:00:00 2001
From: weber
Date: Mon, 11 Jun 2007 21:30:05 +0000
Subject: reverted find theorems default from form to minibuffer

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

diff --git a/isar/isar.el b/isar/isar.el
index ae4470ce..ba5df5f2 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -127,8 +127,8 @@ See -k option for Isabelle interface script."
    proof-info-command           "welcome"
    proof-kill-goal-command      "ProofGeneral.kill_proof"
 ;   proof-find-theorems-command  "find_theorems %s"               ;; minibuffer
-;   proof-find-theorems-command  'isar-find-theorems-minibuffer  ;; equivalent
-   proof-find-theorems-command  'isar-find-theorems-form        ;; search form
+   proof-find-theorems-command  'isar-find-theorems-minibuffer  ;; equivalent
+;   proof-find-theorems-command  'isar-find-theorems-form        ;; search form
    proof-shell-start-silent-cmd "disable_pr"
    proof-shell-stop-silent-cmd  "enable_pr"
    ;; command hooks
-- 
cgit v1.2.3