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