From 7698e030e7183583807fa2304fea6438d85a3bef Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sun, 26 Jun 2005 13:16:16 +0000
Subject: tuned isar-goals-font-lock-keywords;

---
 isar/isar-syntax.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 1105849b..14477bf5 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -370,8 +370,8 @@ matches contents of quotes for quoted identifiers.")
     "^proof (state):"
     "^proof (chain):"
     "^goal.*:"
-    "^picking this:"
-    "^using this:"
+    "^picking.*:"
+    "^using.*:"
     "^this:"
     "^term bindings:"
     "^facts:"
-- 
cgit v1.2.3