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