diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 11:02:02 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 11:02:02 +0000 |
| commit | 882b365cb3f53d17d606e7e282e396d9642e1343 (patch) | |
| tree | 1f398cc8b6a6e5f37be8c493c90f5bff32d9d6f7 /generic/proof-useropts.el | |
| parent | b35ce5388cfbd86b2be92e7acb56ff4aa215f58a (diff) | |
Default `proof-full-annotation' to off to cause least surprise to upgraders
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 3a5cdaef..9c8c6933 100644 --- a/generic/proof-useropts.el +++ b/generic/proof-useropts.el @@ -356,7 +356,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 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 |