diff options
| author |  weber <> | 2007-05-11 17:55:22 +0000 |
|---|---|---|
| committer | weber <> | 2007-05-11 17:55:22 +0000 |
| commit | 8dcca990b42848d64334a8b65e96e78b1d67daa9 (patch) | |
| tree | 52e4a08eb44e7c440a4b76aee24452380912b511 /isar/isar-find-theorems.el | |
| parent | 2266598d4bf11cda967951cfb9ba29297f779b4d (diff) | |
Fix rename
Diffstat (limited to 'isar/isar-find-theorems.el')
| -rw-r--r-- | isar/isar-find-theorems.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar-find-theorems.el b/isar/isar-find-theorems.el index 383fd727..ece12a98 100644 --- a/isar/isar-find-theorems.el +++ b/isar/isar-find-theorems.el @@ -274,7 +274,7 @@ "\n" "A minibuffer based \"Find Theorems\" command is available via (C-c C-a C-m). See\n" "the Isabelle NEWS file for up-to-date documentation. A search form is available\n" - "via (C-c C-a C-f). Variable isar-find-theorems-command (customizable via\n" + "via (C-c C-a C-f). Variable proof-find-theorems-command (customizable via\n" "Proof-General > Advanced > Internals > Prover Config) controls the default\n" "behavior of the \"Find Theorems\" command: set to isar-find-theorems-form or\n" "isar-find-theorems-minibuffer.\n" |