changeset 51585 | fcd5af4aac2b |
parent 51381 | 4d691437c076 |
child 51691 | 69e3bc394f09 |
--- a/etc/isar-keywords.el Sat Mar 30 13:40:19 2013 +0100 +++ b/etc/isar-keywords.el Sat Mar 30 14:57:06 2013 +0100 @@ -185,6 +185,7 @@ "print_commands" "print_configs" "print_context" + "print_defn_rules" "print_dependencies" "print_drafts" "print_facts" @@ -407,6 +408,7 @@ "print_commands" "print_configs" "print_context" + "print_defn_rules" "print_dependencies" "print_drafts" "print_facts"