diff options
| author | David Aspinall | 1999-11-11 15:33:44 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-11 15:33:44 +0000 |
| commit | ee53106260209cd41f6eb014458f8ec37664453d (patch) | |
| tree | cd80b5add06983da3d46707dbf04600bc5b10578 /generic/proof-config.el | |
| parent | d629e1c6c2363024c9318c6daf1a8456cceb1a61 (diff) | |
Next round of fixups for font-lock and x-symbol.
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 7703c08e..4ec803ee 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -121,6 +121,10 @@ inside your Emacs." :set 'proof-set-bool :group 'proof-user-options) +(defcustom proof-output-fontify-enable t + "*Whether to fontify output from the proof assistant." + :type 'boolean + :group 'proof-user-options) (defcustom proof-strict-read-only ;; For FSF Emacs, strict read only is buggy when used in |