changeset 41435 | 12585dfb86fe |
parent 41249 | 26f12f98f50a |
child 41530 | c7e14c8088a6 |
--- a/etc/isar-keywords.el Thu Jan 06 21:06:17 2011 +0100 +++ b/etc/isar-keywords.el Thu Jan 06 21:06:18 2011 +0100 @@ -171,6 +171,7 @@ "print_commands" "print_configs" "print_context" + "print_dependencies" "print_drafts" "print_facts" "print_induct_rules" @@ -372,6 +373,7 @@ "print_commands" "print_configs" "print_context" + "print_dependencies" "print_drafts" "print_facts" "print_induct_rules"