diff options
| author | David Aspinall | 2001-03-20 17:02:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-03-20 17:02:04 +0000 |
| commit | e103c97076f73fd8af7cce6623ee7421290619b0 (patch) | |
| tree | 986301a394ef1322b508fc9f7e895bad285fd043 /generic | |
| parent | a64c9401667e8ea98241a496ff6eab82381f1ffd (diff) | |
Fix docstring
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 625d5777..d0e553b6 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -2103,7 +2103,7 @@ See documentation of proof-shell-start-char." This setting is also used to see if proof-by-pointing features are configured. If it is unset, some of the code -for parsing the is disabled." +for parsing the prover output is disabled." :type 'character :group 'proof-goals) |