diff options
Diffstat (limited to 'isar/isar-keywords.el')
| -rw-r--r-- | isar/isar-keywords.el | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 520ad80f..f2d180a1 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -149,11 +149,8 @@ "use_thy_only" "welcome" "with" - ;; FIXME da: commented out these since {* *} appear after start of - ;; command, e.g. header {* blah *} etc, which breaks - ;; proof-script-command-start-regexp - ;; "{" - ;; "}" + "{" + "}" )) (defconst isar-keywords-minor |