From e6afdceb37b938d3d1ba78bdf73ab0d66223b431 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 30 Nov 2004 09:52:20 +0000
Subject: Docstring: clarify arg type in proof-define-assitant-command-witharg

---
 generic/pg-user.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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) "."))
-- 
cgit v1.2.3