diff options
Diffstat (limited to 'isar/isar-keywords.el')
| -rw-r--r-- | isar/isar-keywords.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 780e7d16..62ef9497 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -1,6 +1,6 @@ ;; ;; Keyword classification tables for Isabelle/Isar. -;; This file generated by Isabelle -- DO NOT EDIT! +;; This file generated by Isabelle99-2 -- DO NOT EDIT! ;; ;; $Id$ ;; |