diff options
| author | David Aspinall | 2001-12-11 13:05:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-12-11 13:05:13 +0000 |
| commit | 9f1b1131555d5e68508a6491b5c4fafd5793c6f9 (patch) | |
| tree | 78e905d1db0515e89cb862f0c707df7ff8ebc454 | |
| parent | cf3c935fccc5d6fd0d2b8816fd850902ad9b47dd (diff) | |
Added proof-trace-output-fontify-enable
| -rw-r--r-- | generic/proof-config.el | 13 |
1 files 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 |