diff options
| author | David Aspinall | 1999-02-01 13:34:15 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-02-01 13:34:15 +0000 |
| commit | 5058cf23b8a892880fd79905d510e587f350759e (patch) | |
| tree | 3ec03627b5dd4c590e48d308e39122d29917f8b1 | |
| parent | b3bba5ef2f761dae1003ff6b7a5aec8753e0033e (diff) | |
Improved docstring
| -rw-r--r-- | generic/proof-config.el | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 59a85d34..b46f3d08 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -448,10 +448,11 @@ The script buffer's comment-end is set to this string plus a space." (defcustom proof-case-fold-search nil "Value for case-fold-search when recognizing portions of proof scripts. -If your prover has a case-insensitive syntax, this should be set -to 't'." - :type 'boolean - :group 'proof-script) +The default value is 'nil'. If your prover has a case *insensitive* +input syntax, proof-case-fold-search should be set to 't' instead. +NB: This setting is not used for matching output from the prover." + :type 'boolean :group + 'proof-script) (defcustom proof-save-command-regexp nil "Matches a save command" |