diff options
Diffstat (limited to 'isar/isar-keywords.el')
| -rw-r--r-- | isar/isar-keywords.el | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 02026f7b..520ad80f 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -149,8 +149,12 @@ "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 '("and" |