diff options
| -rw-r--r-- | isar/isar-syntax.el | 16 |
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 |