changeset 19272 | 5f376320109a |
parent 19255 | e80e3fdda606 |
child 19633 | a6fad1e8bbd2 |
--- a/etc/isar-keywords-ZF.el Tue Mar 14 22:06:42 2006 +0100 +++ b/etc/isar-keywords-ZF.el Tue Mar 14 22:06:43 2006 +0100 @@ -134,6 +134,7 @@ "print_methods" "print_rules" "print_simpset" + "print_statement" "print_syntax" "print_tcset" "print_theorems" @@ -292,6 +293,7 @@ "print_methods" "print_rules" "print_simpset" + "print_statement" "print_syntax" "print_tcset" "print_theorems"