From 49dfc50bd4415513b1aad5e1f6e375e07884f2d3 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 7 Nov 2001 17:42:20 +0000
Subject: updated isar-goals-font-lock-keywords;

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 2d300ae7..083d06ee 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -290,7 +290,7 @@
     "^proof (prove):"
     "^proof (state):"
     "^proof (chain):"
-    "^goal ([^)]+):"
+    "^goal .+:"
     "^picking this:"
     "^using this:"
     "^this:"
@@ -299,6 +299,7 @@
     "^cases:"
     "^prems:"
     "^fixed variables:"
+    "^structures:"
     "^type constraints:"
     "^default sorts:"
     "^used type variable names:"
-- 
cgit v1.2.3