diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-06-30 23:49:05 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-30 23:49:05 +0000 |
commit | 625a900b6cb8f8bdf047368e479f041231a49271 (patch) | |
tree | 6dc5c1d175ebdef91b4a9005a81525e79b185d00 /isar/isar-keywords.el | |
parent | 8a935da9246044e587c84d664e3677f6788756b4 (diff) |
Revert to previous version. Explain existence of other versions
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. - ;; "{" - "{[^\\*]" ;; *** + "{" "}" )) |