changeset 29252 | ea97aa6aeba2 |
parent 29232 | 712c5281d4a4 |
parent 29113 | fb31b7a6c858 |
child 29607 | 2db3537c3535 |
--- a/etc/isar-keywords.el Tue Dec 30 08:18:54 2008 +0100 +++ b/etc/isar-keywords.el Tue Dec 30 11:10:01 2008 +0100 @@ -32,6 +32,7 @@ "atom_decl" "atp_info" "atp_kill" + "atp_messages" "automaton" "ax_specification" "axclass" @@ -334,6 +335,7 @@ "ML_val" "atp_info" "atp_kill" + "atp_messages" "cd" "class_deps" "code_deps"