diff options
author | Makarius Wenzel <makarius@sketis.net> | 2002-01-26 18:18:16 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2002-01-26 18:18:16 +0000 |
commit | af8649d9aa54782ddd0e8e45d069ba63358e3afa (patch) | |
tree | 31d76c0b789c17c31b8b1ca514715f58c87c052a /isar | |
parent | e339427016d8ad9be537acdd8ec92780d851ff05 (diff) |
tuned comment;
Diffstat (limited to 'isar')
-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$ ;; |