From 70d38539b583e1cd0c128587d3f73d98f0bd7405 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 Dec 2001 13:08:14 +0000
Subject: Remove double setting, leave test setting in.

---
 generic/proof-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
-- 
cgit v1.2.3