diff options
author | Makarius Wenzel <makarius@sketis.net> | 2005-06-26 13:16:16 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2005-06-26 13:16:16 +0000 |
commit | 7698e030e7183583807fa2304fea6438d85a3bef (patch) | |
tree | cb38f4a9c69cb9a207d93ac0bdc12b878839a33a /isar/isar-syntax.el | |
parent | 788a302c350f7b64d3157ed985f9f1a9bc478a04 (diff) |
tuned isar-goals-font-lock-keywords;
Diffstat (limited to 'isar/isar-syntax.el')
-rw-r--r-- | isar/isar-syntax.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 1105849b..14477bf5 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -370,8 +370,8 @@ matches contents of quotes for quoted identifiers.") "^proof (state):" "^proof (chain):" "^goal.*:" - "^picking this:" - "^using this:" + "^picking.*:" + "^using.*:" "^this:" "^term bindings:" "^facts:" |