author | wenzelm |
Wed, 01 Aug 2007 16:55:39 +0200 | |
changeset 24111 | 20e74aa5f56b |
parent 24110 | 4ab3084e311c |
child 24112 | 6c4e7d17f9b0 |
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"