diff options
-rw-r--r-- | isar/isar-keywords.el | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 55d3094b..8add31c2 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -2,15 +2,17 @@ ;; Keyword classification tables for Isabelle/Isar. ;; This file generated by Isabelle99-2 -- DO NOT EDIT! ;; +;; FIXME da: THIS VERSION HAS BEEN EDITED. See ***'s below. +;; ;; $Id$ ;; (defconst isar-keywords-major '("\\." "\\.\\." - "types_code" - "consts_code" - "generate_code" + "types_code" ;; *** + "consts_code" ;; *** + "generate_code" ;; *** "ML" "ML_command" "ML_setup" @@ -159,8 +161,12 @@ "use_thy_only" "welcome" "with" - "{" - "}")) + ;; Next one causes {* to be recognized as a command, + ;; unfortunately. + ;; "{" + "{[^\\*]" ;; *** + "}" + )) (defconst isar-keywords-minor '("actions" |