changeset 29113 | fb31b7a6c858 |
parent 28895 | 4e2914c2f8c5 |
child 29252 | ea97aa6aeba2 |
--- a/etc/isar-keywords.el Mon Dec 15 21:41:00 2008 +0100 +++ b/etc/isar-keywords.el Mon Dec 15 21:41:21 2008 +0100 @@ -32,6 +32,7 @@ "atom_decl" "atp_info" "atp_kill" + "atp_messages" "automaton" "ax_specification" "axclass" @@ -331,6 +332,7 @@ "ML_val" "atp_info" "atp_kill" + "atp_messages" "cd" "class_deps" "code_deps"