diff options
| author | David Aspinall | 2004-11-30 09:52:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-11-30 09:52:20 +0000 |
| commit | e6afdceb37b938d3d1ba78bdf73ab0d66223b431 (patch) | |
| tree | e57c2edeb916a07d0ec297b11f480284ff40d140 /generic | |
| parent | 52d847980c03b771eb5a6df956ac0bc881fdb403 (diff) | |
Docstring: clarify arg type in proof-define-assitant-command-witharg
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-user.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index 1e08b123..0fcf66de 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -426,7 +426,7 @@ BODY defaults to CMDVAR, a variable." ;;;###autoload (defmacro proof-define-assistant-command-witharg (fn doc cmdvar prompt &rest body) "Define command FN to prompt for string CMDVAR to proof assistant. -CMDVAR is a function or string. Automatically has history." +CMDVAR is a variable holding a function or string. Automatically has history." `(progn (defvar ,(intern (concat (symbol-name fn) "-history")) nil ,(concat "History of arguments for " (symbol-name fn) ".")) |