diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-05-11 09:24:24 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-05-11 09:24:24 +0000 |
| commit | daf9dc5ce8d152603c9edcfc1e966f471287f7a6 (patch) | |
| tree | 3e4b932ef3878f42ea23b70bc27387940491e0e3 /isar | |
| parent | c559e23692bb561b4a52622c9ba8d3661b15ebe6 (diff) | |
Rename [proof]find-theorems -> isar-find-theorems
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/isar/isar.el b/isar/isar.el index a8b28832..ae4470ce 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -16,12 +16,12 @@ (require 'proof) -;; "Find Theorems" search form -(require 'find-theorems) - ;; System code (require 'isabelle-system) +;; "Find Theorems" search form +(require 'isar-find-theorems) + ;; ;; Load syntax ;; @@ -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 'proof-find-theorems-minibuffer ;; equivalent - proof-find-theorems-command 'proof-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 |