diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-09-14 11:30:56 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-09-14 11:30:56 +0000 |
| commit | 518be597da9d4f5f6769ffec64fd3072a265f296 (patch) | |
| tree | d3d0276255ce15a6dcf0788553756dcafd706dbd | |
| parent | c290f64d3085ebad129d164c144a5a2f572b7c9c (diff) | |
# User Robin Green <greenrd@greenrd.org>
Use correct customisation widget for variable-length list of strings
| -rw-r--r-- | generic/pg-custom.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/pg-custom.el b/generic/pg-custom.el index d10c6b61..8f20bf69 100644 --- a/generic/pg-custom.el +++ b/generic/pg-custom.el @@ -95,7 +95,7 @@ Remark: Arguments are interpreted strictly: each one must contain only one word, with no space (unless it is the same word). For example if the arguments are -x foo -y bar, then the list should be '(\"-x\" \"foo\" \"-y\" \"bar\"), notice that '(\"-x foo\" \"-y bar\") is *wrong*." - :type '(list string) + :type '(repeat string) :group 'proof-shell) (defpgcustom prog-env nil @@ -104,7 +104,7 @@ Each element should be a string of the form ENVVARNAME=VALUE. They will be added to the environment before launching the prover (but not pervasively). For example for coq on Windows you might need something like: \(setq coq-prog-env '(\"HOME=C:\\Program Files\\Coq\\\"))" - :type '(list string) + :type '(repeat string) :group 'proof-shell) (defpgcustom quit-timeout @@ -150,7 +150,7 @@ Completion is activated with \\[complete]. If this table is empty or needs adjusting, please make changes using `customize-variable' and post suggestions at http://proofgeneral.inf.ed.ac.uk/trac" - :type '(list string) + :type '(repeat string) :group 'prover-config) ;; TODO: not used yet. |