changeset 30463 | f1cb00030d4f |
parent 29819 | 29154e67731d |
child 30529 | fae488569faf |
1.1 --- a/etc/isar-keywords.el Thu Mar 12 00:02:03 2009 +0100 1.2 +++ b/etc/isar-keywords.el Thu Mar 12 00:02:30 2009 +0100 1.3 @@ -127,6 +127,7 @@ 1.4 "let" 1.5 "linear_undo" 1.6 "local" 1.7 + "local_setup" 1.8 "locale" 1.9 "method_setup" 1.10 "moreover" 1.11 @@ -468,6 +469,7 @@ 1.12 "judgment" 1.13 "lemmas" 1.14 "local" 1.15 + "local_setup" 1.16 "locale" 1.17 "method_setup" 1.18 "no_notation"