changeset 24111 | 20e74aa5f56b |
parent 23992 | bf352c4c499b |
child 24249 | 1f60b45c5f97 |
1.1 --- a/etc/isar-keywords-ZF.el Wed Aug 01 16:55:37 2007 +0200 1.2 +++ b/etc/isar-keywords-ZF.el Wed Aug 01 16:55:39 2007 +0200 1.3 @@ -134,6 +134,7 @@ 1.4 "print_classes" 1.5 "print_codesetup" 1.6 "print_commands" 1.7 + "print_configs" 1.8 "print_context" 1.9 "print_drafts" 1.10 "print_facts" 1.11 @@ -302,6 +303,7 @@ 1.12 "print_classes" 1.13 "print_codesetup" 1.14 "print_commands" 1.15 + "print_configs" 1.16 "print_context" 1.17 "print_drafts" 1.18 "print_facts"