diff options
| author | David Aspinall | 2000-04-07 14:25:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-04-07 14:25:50 +0000 |
| commit | 4a1571975d281f536d6e7deaef4ae4016140e5b4 (patch) | |
| tree | 3df509f954b1f5ee3160bbc53a07ad83ef85145e /generic/proof-script.el | |
| parent | 1d3842f87c31e536efe0c977c70fab478195126d (diff) | |
More generic message to avoid confusion with Coq searching.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index fd0f4959..9d6be005 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2224,7 +2224,7 @@ This is intended as a value for proof-activate-scripting-hook" (proof-define-assistant-command-witharg proof-find-theorems "Search for items containing given constants." proof-find-theorems-command - "Find theorems containing the constant(s)" + "Find theorems containing" (proof-shell-invisible-command arg)) (proof-define-assistant-command-witharg proof-issue-goal |