changeset 31108 | 0ce5f53fc65d |
parent 31107 | 657386d94f14 |
parent 31039 | fbb00c98f9ed |
child 31130 | 94cb206f8f6a |
1.1 --- a/etc/isar-keywords.el Mon May 11 09:39:53 2009 +0200 1.2 +++ b/etc/isar-keywords.el Mon May 11 17:20:52 2009 +0200 1.3 @@ -35,6 +35,7 @@ 1.4 "atp_info" 1.5 "atp_kill" 1.6 "atp_messages" 1.7 + "atp_minimize" 1.8 "attribute_setup" 1.9 "automaton" 1.10 "ax_specification" 1.11 @@ -340,6 +341,7 @@ 1.12 "atp_info" 1.13 "atp_kill" 1.14 "atp_messages" 1.15 + "atp_minimize" 1.16 "cd" 1.17 "class_deps" 1.18 "code_deps"