diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-09-18 15:54:47 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-09-18 15:54:47 +0000 |
commit | 19789105b0ddacbe73abc289c213ef64a4bba312 (patch) | |
tree | 9e68735d729f589ccdb1d9074bc03f4fef8b102a /generic/proof-useropts.el | |
parent | 5d3ed9342dc5c4851e12d8f39b989e5578586739 (diff) |
proof-full-annotation: default to nil
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 |