From 267cd40dc33cf63f551dd4029d32d664384420ca Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 1999 17:19:03 +0000
Subject: Enabled hack for proof-shell-leave-annotations-in-output

---
 isa/isa.el | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/isa/isa.el b/isa/isa.el
index d96db95a..64ea37b3 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -201,6 +201,11 @@ no regular or easily discernable structure."
    ;; "^---\\|^\\[opening "
    ;; could be last bracket on end of line, or with ### and ***.
 
+   ;; Dirty hack to allow font-locking for output based on hidden
+   ;; annotations, see isa-output-font-lock-terms
+   proof-shell-leave-annotations-in-output t
+
+
    ;; === ANNOTATIONS  === ones below here are broken
    proof-shell-result-start	        "\372 Pbp result \373"
    proof-shell-result-end		"\372 End Pbp result \373"
-- 
cgit v1.2.3