changeset 32788 | ca430e6aee1c |
parent 31130 | 94cb206f8f6a |
child 33198 | bfb9a790d1e7 |
1.1 --- a/etc/isar-keywords-ZF.el Sun Sep 27 11:50:27 2009 +0200 1.2 +++ b/etc/isar-keywords-ZF.el Tue Sep 29 22:15:54 2009 +0200 1.3 @@ -139,6 +139,7 @@ 1.4 "print_drafts" 1.5 "print_facts" 1.6 "print_induct_rules" 1.7 + "print_interps" 1.8 "print_locale" 1.9 "print_locales" 1.10 "print_methods" 1.11 @@ -304,6 +305,7 @@ 1.12 "print_drafts" 1.13 "print_facts" 1.14 "print_induct_rules" 1.15 + "print_interps" 1.16 "print_locale" 1.17 "print_locales" 1.18 "print_methods"