From 788a302c350f7b64d3157ed985f9f1a9bc478a04 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 24 Jun 2005 19:01:25 +0000
Subject: more general goal pattern;

---
 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 ad32e925..1105849b 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -369,7 +369,7 @@ matches contents of quotes for quoted identifiers.")
     "^proof (prove):"
     "^proof (state):"
     "^proof (chain):"
-    "^goal .+:"
+    "^goal.*:"
     "^picking this:"
     "^using this:"
     "^this:"
-- 
cgit v1.2.3