changeset 53686 | 802576856527 |
parent 53579 | d3c5195b7399 |
child 56727 | 169e12bbf9a3 |
1.1 --- a/etc/isar-keywords-ZF.el Sun Jul 07 18:04:46 2013 +0200 1.2 +++ b/etc/isar-keywords-ZF.el Sun Jul 07 18:34:29 2013 +0200 1.3 @@ -133,7 +133,6 @@ 1.4 "print_context" 1.5 "print_defn_rules" 1.6 "print_dependencies" 1.7 - "print_drafts" 1.8 "print_facts" 1.9 "print_induct_rules" 1.10 "print_interps" 1.11 @@ -302,7 +301,6 @@ 1.12 "print_context" 1.13 "print_defn_rules" 1.14 "print_dependencies" 1.15 - "print_drafts" 1.16 "print_facts" 1.17 "print_induct_rules" 1.18 "print_interps"