changeset 41683 | 12585dfb86fe |
parent 41497 | 26f12f98f50a |
child 45103 | d5f689c534c5 |
1.1 --- a/etc/isar-keywords-ZF.el Thu Jan 06 21:06:17 2011 +0100 1.2 +++ b/etc/isar-keywords-ZF.el Thu Jan 06 21:06:18 2011 +0100 1.3 @@ -131,6 +131,7 @@ 1.4 "print_commands" 1.5 "print_configs" 1.6 "print_context" 1.7 + "print_dependencies" 1.8 "print_drafts" 1.9 "print_facts" 1.10 "print_induct_rules" 1.11 @@ -300,6 +301,7 @@ 1.12 "print_commands" 1.13 "print_configs" 1.14 "print_context" 1.15 + "print_dependencies" 1.16 "print_drafts" 1.17 "print_facts" 1.18 "print_induct_rules"