diff options
| -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) ".")) |