Font lock exprs for goals buffer like those in Isabelle

1 files changed, 16 insertions, 0 deletions

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