diff options
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 |