diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2005-09-01 14:37:10 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2005-09-01 14:37:10 +0000 |
| commit | a17a66857c2de3db2b1d3a36fe8bea3fd9a48061 (patch) | |
| tree | b274f494b8a407accb2cfe2fdbd7f03c34e9e62a /isar/isar.el | |
| parent | 3176ada294684f095dd3c98ea6de9fe6bbc5090c (diff) | |
renamed thms_containing to find_theorems;
Diffstat (limited to 'isar/isar.el')
| -rw-r--r-- | isar/isar.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |