From 40a3c72c2ca73e3a7abca3d09807f43d386a5474 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 30 May 2000 19:40:26 +0000
Subject: improved isar-goals-font-lock-keywords;

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 81e052bd..bf6acd49 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -289,13 +289,25 @@
 (defvar isar-goals-font-lock-keywords 
   (append
    (list 
-    "^theory"
+    "^theory "
     "^proof (prove):"
     "^proof (state):"
-    "^goal (theorem .*):"
+    "^proof (chain):"
+    "^goal (theorem.*):"
+    "^goal (lemma.*):"
+    "^goal (have.*):"
+    "^goal (show.*):"
+    "^picking this:"
+    "^using this:"
+    "^this:"
+    "^term bindings:"
+    "^local theorems:"
+    "^cases:"
     "^prems:"
-    "^\\(using \\)?this:"
-    "^goal (show):"
+    "^fixed variables:"
+    "^type constraints:"
+    "^default sorts:"
+    "^used type variable names:"
     "^Variables:$"
     "^Constants:$"
     "\\s-*[0-9][0-9]?\\. ")
-- 
cgit v1.2.3