1.1 --- a/etc/isar-keywords.el	Sat Sep 07 23:09:26 2013 +0200
     1.2 +++ b/etc/isar-keywords.el	Sun Sep 08 12:26:05 2013 +0200
     1.3 @@ -350,7 +350,6 @@
     1.4      "permissive"
     1.5      "pervasive"
     1.6      "rep_compat"
     1.7 -    "sequential"
     1.8      "shows"
     1.9      "structure"
    1.10      "type_class"