diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-01-23 14:58:08 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-23 14:58:08 +0000 |
| commit | 3b4f52fee0d7798bf928d54d869c1e9750634ea4 (patch) | |
| tree | 73b1f9f3258edeea10c0a9528ec124bb82c8add6 | |
| parent | a4350f7f2d6d194a8387191ed1176414a012daed (diff) | |
Typo
| -rw-r--r-- | generic/pg-custom.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/generic/pg-custom.el b/generic/pg-custom.el index 5122416e..d10c6b61 100644 --- a/generic/pg-custom.el +++ b/generic/pg-custom.el @@ -88,14 +88,13 @@ the standard Proof General buttons.") (defpgcustom prog-args nil "Arguments to be passed to `proof-prog-name' to run the proof assistant. -If non-nil, will be treated as a list of arguments for`proof-prog-name'. +If non-nil, will be treated as a list of arguments for `proof-prog-name'. Otherwise `proof-prog-name' will be split on spaces to form arguments. 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*" - +\"-y\" \"bar\"), notice that '(\"-x foo\" \"-y bar\") is *wrong*." :type '(list string) :group 'proof-shell) |