changeset 31108 | 0ce5f53fc65d |
parent 31107 | 657386d94f14 |
parent 31039 | fbb00c98f9ed |
child 31130 | 94cb206f8f6a |
--- a/etc/isar-keywords.el Mon May 11 09:39:53 2009 +0200 +++ b/etc/isar-keywords.el Mon May 11 17:20:52 2009 +0200 @@ -35,6 +35,7 @@ "atp_info" "atp_kill" "atp_messages" + "atp_minimize" "attribute_setup" "automaton" "ax_specification" @@ -340,6 +341,7 @@ "atp_info" "atp_kill" "atp_messages" + "atp_minimize" "cd" "class_deps" "code_deps"