changeset 19272 | 5f376320109a |
parent 19255 | e80e3fdda606 |
child 19564 | d3e2f532459a |
--- a/etc/isar-keywords.el Tue Mar 14 22:06:42 2006 +0100 +++ b/etc/isar-keywords.el Tue Mar 14 22:06:43 2006 +0100 @@ -142,6 +142,7 @@ "print_methods" "print_rules" "print_simpset" + "print_statement" "print_syntax" "print_theorems" "print_theory" @@ -323,6 +324,7 @@ "print_methods" "print_rules" "print_simpset" + "print_statement" "print_syntax" "print_theorems" "print_theory"