diff options
| author | David Aspinall | 1999-11-16 17:06:49 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-16 17:06:49 +0000 |
| commit | 7ff53f525376590df0270fcb1368788107fccd67 (patch) | |
| tree | 21a2ac752dca410e091aa5b9c99ad54768ba58b7 /generic | |
| parent | 7736e303103772f6c027dd78047a89727453d5b6 (diff) | |
Turn debug messages off by default.
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 c7727351..023bbf2f 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -276,7 +276,7 @@ Otherwise the response buffer will accumulate output from the prover." :type 'boolean :group 'proof-user-options) -(defcustom proof-show-debug-messages t +(defcustom proof-show-debug-messages nil "*Whether to display debugging messages in the response buffer. If non-nil, debugging messages are displayed in the response giving information about what Proof General is doing. |