diff options
| author | Makarius Wenzel | 2000-05-30 19:40:26 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-05-30 19:40:26 +0000 |
| commit | 40a3c72c2ca73e3a7abca3d09807f43d386a5474 (patch) | |
| tree | 5a1ebb3a62a51539451739bc5bf938b4523e54d7 | |
| parent | 1d81fdedc69a398b2969a81036ebfb5a18b4b613 (diff) | |
improved isar-goals-font-lock-keywords;
| -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]?\\. ") |