From 9f1b1131555d5e68508a6491b5c4fafd5793c6f9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 Dec 2001 13:05:13 +0000
Subject: Added proof-trace-output-fontify-enable

---
 generic/proof-config.el | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 1a45335c..a16de104 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -122,8 +122,17 @@ buffer modes)."
   :type 'boolean
   :group 'proof-user-options)
 
-(defcustom proof-strict-state-preserving 
-  t
+(defcustom proof-trace-output-fontify-enable t ;; testing
+  (not (and proof-running-on-XEmacs (>= emacs-major-version 21)))
+  "*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.
+This is not recommended in XEmacs 21, since the font-lock parser 
+is easily overloaded by large tracing output."
+  :type 'boolean
+  :group 'proof-user-options)
+
+(defcustom proof-strict-state-preserving t
   "*Whether Proof General is strict about the state preserving test.
 Proof General lets the user send arbitrary commands to the proof
 engine with `proof-minibuffer-cmd'.  To attempt to preserve
-- 
cgit v1.2.3