diff options
| -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 |