changeset 46005 | 9b02f6665fc8 |
parent 45927 | 39519609abe0 |
child 46064 | 3181c64be1b4 |
1.1 --- a/etc/isar-keywords.el Wed Oct 12 22:48:23 2011 +0200 1.2 +++ b/etc/isar-keywords.el Thu Oct 13 11:45:33 2011 +0200 1.3 @@ -264,7 +264,6 @@ 1.4 "typed_print_translation" 1.5 "typedecl" 1.6 "typedef" 1.7 - "types" 1.8 "types_code" 1.9 "ultimately" 1.10 "undo" 1.11 @@ -539,7 +538,6 @@ 1.12 "type_synonym" 1.13 "typed_print_translation" 1.14 "typedecl" 1.15 - "types" 1.16 "types_code" 1.17 "use")) 1.18