diff options
| -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) |