changeset 30529 | fae488569faf |
parent 30463 | f1cb00030d4f |
child 30752 | 2823a89c76a4 |
1.1 --- a/etc/isar-keywords.el Sun Mar 15 15:59:43 2009 +0100 1.2 +++ b/etc/isar-keywords.el Sun Mar 15 15:59:44 2009 +0100 1.3 @@ -35,6 +35,7 @@ 1.4 "atp_info" 1.5 "atp_kill" 1.6 "atp_messages" 1.7 + "attribute_setup" 1.8 "automaton" 1.9 "ax_specification" 1.10 "axclass" 1.11 @@ -421,6 +422,7 @@ 1.12 "abbreviation" 1.13 "arities" 1.14 "atom_decl" 1.15 + "attribute_setup" 1.16 "automaton" 1.17 "axclass" 1.18 "axiomatization"