From 76afd603e8e4efd8dfc7a5888fa0f6d9ece1ea2c Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 30 Sep 1999 13:35:20 +0000
Subject: replaced isa-output-font-lock-terms by
 isa-output-font-lock-keywords-1;

---
 isa/isa.el | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/isa/isa.el b/isa/isa.el
index 64ea37b3..2bb32142 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -202,7 +202,7 @@ no regular or easily discernable structure."
    ;; 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
+   ;; annotations, see isa-output-font-lock-keywords-1
    proof-shell-leave-annotations-in-output t
 
 
@@ -610,12 +610,12 @@ Resulting output from Isabelle will be parsed by Proof General."
 (defun isa-shell-mode-config ()
   "Configure Proof General proof shell for Isabelle."
   (isa-init-output-syntax-table)
-  (setq font-lock-keywords isa-output-font-lock-terms)
+  (setq font-lock-keywords isa-output-font-lock-keywords-1)
   (isa-shell-mode-config-set-variables)
   (proof-shell-config-done))
 
 (defun isa-response-mode-config ()
-  (setq font-lock-keywords isa-output-font-lock-terms)
+  (setq font-lock-keywords isa-output-font-lock-keywords-1)
   (isa-init-output-syntax-table)
   (proof-response-config-done))
 
@@ -624,7 +624,7 @@ Resulting output from Isabelle will be parsed by Proof General."
   (setq pbp-change-goal "Show %s.")	
   (setq pbp-error-regexp proof-shell-error-regexp)
   (isa-init-output-syntax-table)
-  (setq font-lock-keywords isa-output-font-lock-terms)
+  (setq font-lock-keywords isa-output-font-lock-keywords-1)
   (proof-goals-config-done))
 
 (provide 'isa)
-- 
cgit v1.2.3