diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-04-05 20:01:50 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-04-05 20:01:50 +0000 |
commit | 372226842254163146d61c5c6c59beb947bec272 (patch) | |
tree | 911db975bc437de34f55dce7b6b93ab0dc8b1209 /isar/isar-keywords.el | |
parent | d33a1f2f16b97b7f3abf0bc6ff253042943d180e (diff) |
'welcome' made diagnostic;
Diffstat (limited to 'isar/isar-keywords.el')
-rw-r--r-- | isar/isar-keywords.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 56cfa8ff..2e3edc7e 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -41,8 +41,7 @@ "quit" "redo" "undo" - "undos_proof" - "welcome")) + "undos_proof")) (defconst isar-keywords-diag '("ML" @@ -81,7 +80,8 @@ "update_thy_only" "use" "use_thy" - "use_thy_only")) + "use_thy_only" + "welcome")) (defconst isar-keywords-theory-begin '("theory")) |