diff options
| -rw-r--r-- | isar/isar-syntax.el | 20 |
1 files 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]?\\. ") |