diff options
Diffstat (limited to 'isar/isar-keywords.el')
-rw-r--r-- | isar/isar-keywords.el | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 8add31c2..7a3742bd 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -2,7 +2,11 @@ ;; 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. +;; NB: This version is for Isabelle99. +;; +;; Isabelle2002 is supplied with a different version of this file +;; which should be loaded instead. See also the "-k" option +;; to the Isabelle script. ;; ;; $Id$ ;; @@ -10,9 +14,6 @@ (defconst isar-keywords-major '("\\." "\\.\\." - "types_code" ;; *** - "consts_code" ;; *** - "generate_code" ;; *** "ML" "ML_command" "ML_setup" @@ -161,10 +162,7 @@ "use_thy_only" "welcome" "with" - ;; Next one causes {* to be recognized as a command, - ;; unfortunately. - ;; "{" - "{[^\\*]" ;; *** + "{" "}" )) |