diff options
author | 1999-11-08 18:34:47 +0000 | |
---|---|---|
committer | 1999-11-08 18:34:47 +0000 | |
commit | ac6a40fd23e93c24f5af3762231afdbe61f611ef (patch) | |
tree | 96c19b092115ed165f15882cf2fb3b7d8ac8adc7 /generic | |
parent | 6c27574f147610c3062ae1480c9a595804694c41 (diff) |
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 337a04e8..d12977e7 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -295,7 +295,7 @@ Otherwise the response buffer will accumulate output from the prover." If non-nil, debugging messages are displayed in the response giving information about what Proof General is doing. To avoid erasing the messages shortly after they're printed, -you should disable `proof-tidy-response'." +you should set `proof-tidy-response' to nil." :type 'boolean :group 'proof-user-options) |