changeset 41435 | 12585dfb86fe |
parent 41249 | 26f12f98f50a |
child 44232 | d5f689c534c5 |
--- a/etc/isar-keywords-ZF.el Thu Jan 06 21:06:17 2011 +0100 +++ b/etc/isar-keywords-ZF.el Thu Jan 06 21:06:18 2011 +0100 @@ -131,6 +131,7 @@ "print_commands" "print_configs" "print_context" + "print_dependencies" "print_drafts" "print_facts" "print_induct_rules" @@ -300,6 +301,7 @@ "print_commands" "print_configs" "print_context" + "print_dependencies" "print_drafts" "print_facts" "print_induct_rules"