diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-11-30 09:52:20 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 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) ".")) |