changeset 52549 | 802576856527 |
parent 52442 | d3c5195b7399 |
child 52623 | fee0db8cf60d |
--- a/etc/isar-keywords.el Sun Jul 07 18:04:46 2013 +0200 +++ b/etc/isar-keywords.el Sun Jul 07 18:34:29 2013 +0200 @@ -188,7 +188,6 @@ "print_context" "print_defn_rules" "print_dependencies" - "print_drafts" "print_facts" "print_induct_rules" "print_inductives" @@ -417,7 +416,6 @@ "print_context" "print_defn_rules" "print_dependencies" - "print_drafts" "print_facts" "print_induct_rules" "print_inductives"