changeset 29252 | ea97aa6aeba2 |
parent 29232 | 712c5281d4a4 |
parent 29113 | fb31b7a6c858 |
child 29607 | 2db3537c3535 |
1.1 --- a/etc/isar-keywords.el Tue Dec 30 08:18:54 2008 +0100 1.2 +++ b/etc/isar-keywords.el Tue Dec 30 11:10:01 2008 +0100 1.3 @@ -32,6 +32,7 @@ 1.4 "atom_decl" 1.5 "atp_info" 1.6 "atp_kill" 1.7 + "atp_messages" 1.8 "automaton" 1.9 "ax_specification" 1.10 "axclass" 1.11 @@ -334,6 +335,7 @@ 1.12 "ML_val" 1.13 "atp_info" 1.14 "atp_kill" 1.15 + "atp_messages" 1.16 "cd" 1.17 "class_deps" 1.18 "code_deps"