etc/isar-keywords.el
changeset 45134 9b02f6665fc8
parent 45061 39519609abe0
child 45193 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