changeset 12365 | a90156701dad |
parent 12211 | 510c3eee55de |
child 12926 | cd0dd6e0bf5c |
1.1 --- a/etc/isar-keywords-ZF.el Wed Dec 05 02:58:04 2001 +0100 1.2 +++ b/etc/isar-keywords-ZF.el Wed Dec 05 02:58:45 2001 +0100 1.3 @@ -104,6 +104,7 @@ 1.4 "print_locale" 1.5 "print_locales" 1.6 "print_methods" 1.7 + "print_rules" 1.8 "print_simpset" 1.9 "print_syntax" 1.10 "print_tcset" 1.11 @@ -238,6 +239,7 @@ 1.12 "print_locale" 1.13 "print_locales" 1.14 "print_methods" 1.15 + "print_rules" 1.16 "print_simpset" 1.17 "print_syntax" 1.18 "print_tcset"