changeset 45134 | 9b02f6665fc8 |
parent 45061 | 39519609abe0 |
child 45193 | 3181c64be1b4 |
--- a/etc/isar-keywords.el Wed Oct 12 22:48:23 2011 +0200 +++ b/etc/isar-keywords.el Thu Oct 13 11:45:33 2011 +0200 @@ -264,7 +264,6 @@ "typed_print_translation" "typedecl" "typedef" - "types" "types_code" "ultimately" "undo" @@ -539,7 +538,6 @@ "type_synonym" "typed_print_translation" "typedecl" - "types" "types_code" "use"))