diff options
| author | David Aspinall | 2001-12-11 13:08:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-12-11 13:08:14 +0000 |
| commit | 70d38539b583e1cd0c128587d3f73d98f0bd7405 (patch) | |
| tree | 51a9d92b3772594a2c5c9bd9d26014da24f92b92 | |
| parent | 445310c48ca6e2d07a3476e7e02a7209f5ef1136 (diff) | |
Remove double setting, leave test setting in.
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index a16de104..85247eda 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -123,7 +123,7 @@ buffer modes)." :group 'proof-user-options) (defcustom proof-trace-output-fontify-enable t ;; testing - (not (and proof-running-on-XEmacs (>= emacs-major-version 21))) + ;; (not (and proof-running-on-XEmacs (>= emacs-major-version 21))) production "*Whether to fontify output from the proof assistant during tracing. If non-nil and proof-output-fontify-enable is also non-nil, output from the proof assistant will be highlighted in the trace buffer. |