From 4422665df2635a34c056b0d633c92bf71b4fe818 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 29 May 2000 18:45:47 +0000
Subject: Font lock exprs for goals buffer like those in Isabelle

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index dfab37e4..e3b2a4bd 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -286,6 +286,22 @@
    )
   "*Font-lock table for Isabelle terms.")
 
+(defvar isar-goals-font-lock-keywords 
+  (append
+   (list 
+    "^theory"
+    "^proof (prove):"
+    "^proof (state):"
+    "^goal (theorem .*):"
+    "^prems:"
+    "^using this:"
+    "^goal (show):"
+    "^Variables:$"
+    "^Constants:$"
+    "\\s-*[0-9][0-9]?\\. ")
+   isar-output-font-lock-keywords-1)
+  "*Font-lock table for Isabelle/Isar output.")
+
 
 ;; ----- variations on undo
 
-- 
cgit v1.2.3