From fdc23522eb9764d6a9d21ea34d657f1a302822ca Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sat, 13 Oct 2001 18:14:14 +0000
Subject: isar-goals-font-lock-keywords: more general goal pattern;

---
 isar/isar-syntax.el | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index b4cb6cf6..2d300ae7 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -290,11 +290,7 @@
     "^proof (prove):"
     "^proof (state):"
     "^proof (chain):"
-    "^goal (corollary.*):"
-    "^goal (theorem.*):"
-    "^goal (lemma.*):"
-    "^goal (have.*):"
-    "^goal (show.*):"
+    "^goal ([^)]+):"
     "^picking this:"
     "^using this:"
     "^this:"
-- 
cgit v1.2.3