diff options
Diffstat (limited to 'generic/proof-useropts.el')
| -rw-r--r-- | generic/proof-useropts.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el index 690b8db7..0e7fd630 100644 --- a/generic/proof-useropts.el +++ b/generic/proof-useropts.el @@ -347,7 +347,7 @@ signals to the remote host." :type 'boolean :group 'proof-user-options) -(defcustom proof-full-annotation t +(defcustom proof-full-annotation nil "*Non-nil causes Proof General to record output for all proof commands. Proof output is recorded as it occurs interactively; normally if many steps are taken at once, this output is suppressed. If this |