diff options
| author |  weber <> | 2007-06-11 21:30:05 +0000 |
|---|---|---|
| committer | weber <> | 2007-06-11 21:30:05 +0000 |
| commit | 50e213462dc393e97b8b9bc70b94d78a1c22aca6 (patch) | |
| tree | 053d467e3d8872b44ad2d2307e843cc8e9cc48a3 /isar | |
| parent | 69de140f7fe7c7503ad4477cfe18099bfb1edb22 (diff) | |
reverted find theorems default from form to minibuffer
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 4 |
1 files 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 |