changeset 24111 | 20e74aa5f56b |
parent 23992 | bf352c4c499b |
child 24249 | 1f60b45c5f97 |
--- a/etc/isar-keywords-ZF.el Wed Aug 01 16:55:37 2007 +0200 +++ b/etc/isar-keywords-ZF.el Wed Aug 01 16:55:39 2007 +0200 @@ -134,6 +134,7 @@ "print_classes" "print_codesetup" "print_commands" + "print_configs" "print_context" "print_drafts" "print_facts" @@ -302,6 +303,7 @@ "print_classes" "print_codesetup" "print_commands" + "print_configs" "print_context" "print_drafts" "print_facts"