diff options
| -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:" |