changeset 51585 | fcd5af4aac2b |
parent 51313 | 102a0a0718c5 |
child 52060 | 179236c82c2a |
--- a/etc/isar-keywords-ZF.el Sat Mar 30 13:40:19 2013 +0100 +++ b/etc/isar-keywords-ZF.el Sat Mar 30 14:57:06 2013 +0100 @@ -132,6 +132,7 @@ "print_commands" "print_configs" "print_context" + "print_defn_rules" "print_dependencies" "print_drafts" "print_facts" @@ -300,6 +301,7 @@ "print_commands" "print_configs" "print_context" + "print_defn_rules" "print_dependencies" "print_drafts" "print_facts"