changeset 32804 | ca430e6aee1c |
parent 31130 | 94cb206f8f6a |
child 33198 | bfb9a790d1e7 |
--- a/etc/isar-keywords-ZF.el Sun Sep 27 11:50:27 2009 +0200 +++ b/etc/isar-keywords-ZF.el Tue Sep 29 22:15:54 2009 +0200 @@ -139,6 +139,7 @@ "print_drafts" "print_facts" "print_induct_rules" + "print_interps" "print_locale" "print_locales" "print_methods" @@ -304,6 +305,7 @@ "print_drafts" "print_facts" "print_induct_rules" + "print_interps" "print_locale" "print_locales" "print_methods"