From 487ce28ec1eb510d23db616509cc9aa817c8c043 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 18:36:47 +0000
Subject: Fix goals font lock keywords.

---
 isar/isar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isar/isar.el b/isar/isar.el
index 55a3b4f2..781506e9 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -577,7 +577,7 @@ proof-shell-retract-files-regexp."
   (isar-init-output-syntax-table)
   (setq font-lock-keywords  
 	(append 
-	 isar-output-font-lock-keywords-1
+	 isar-goals-font-lock-keywords
 	 (if (boundp 'x-symbol-isabelle-font-lock-keywords)
 	     x-symbol-isabelle-font-lock-keywords)))
   (proof-goals-config-done))
-- 
cgit v1.2.3