From 544602206fe0739beda11169dc0312567e5d0dac Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 13 Sep 2005 22:11:16 +0000
Subject: tuned isar-goals-font-lock-keywords;

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 3018c61d..f9f7bd1b 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -384,7 +384,7 @@ matches contents of quotes for quoted identifiers.")
 (defvar isar-goals-font-lock-keywords
   (append
    (list
-    "^theory "
+    "^theory:"
     "^proof (prove):"
     "^proof (state):"
     "^proof (chain):"
-- 
cgit v1.2.3