changeset 52722 | fcd5af4aac2b |
parent 52518 | 4d691437c076 |
child 52828 | 69e3bc394f09 |
1.1 --- a/etc/isar-keywords.el Sat Mar 30 13:40:19 2013 +0100 1.2 +++ b/etc/isar-keywords.el Sat Mar 30 14:57:06 2013 +0100 1.3 @@ -185,6 +185,7 @@ 1.4 "print_commands" 1.5 "print_configs" 1.6 "print_context" 1.7 + "print_defn_rules" 1.8 "print_dependencies" 1.9 "print_drafts" 1.10 "print_facts" 1.11 @@ -407,6 +408,7 @@ 1.12 "print_commands" 1.13 "print_configs" 1.14 "print_context" 1.15 + "print_defn_rules" 1.16 "print_dependencies" 1.17 "print_drafts" 1.18 "print_facts"