diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 13:10:18 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 13:10:18 +0000 |
commit | 8bafccbd8731d6c2858f8aa2d9b0658f7c921c53 (patch) | |
tree | 873d558ef47a65cb86aa15841b841a466a5686e3 /generic | |
parent | 417a4ed168b8982f7f8db417e2deb23693beedc7 (diff) |
proof-full-annotation: default to t; advanced users may turn off.
Diffstat (limited to 'generic')
-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 008371ff..07d0464e 100644 --- a/generic/proof-useropts.el +++ b/generic/proof-useropts.el @@ -369,7 +369,7 @@ signals to the remote host." :type 'boolean :group 'proof-user-options) -(defcustom proof-full-annotation nil +(defcustom proof-full-annotation t "*Non-nil causes Proof General to add hovers 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 |