changeset 777 | 2f72662d21f3 |
parent 767 | 37285ec4387d |
child 2079 | b1d64b7ce2b7 |
--- a/isar-keywords-quot.el Tue Dec 22 21:31:44 2009 +0100 +++ b/isar-keywords-quot.el Tue Dec 22 21:44:50 2009 +0100 @@ -173,6 +173,7 @@ "print_interps" "print_locale" "print_locales" + "print_maps" "print_methods" "print_orders" "print_quotconsts" @@ -365,6 +366,7 @@ "print_interps" "print_locale" "print_locales" + "print_maps" "print_methods" "print_orders" "print_quotconsts"