etc/isar-keywords.el
changeset 53469 3356a148b783
parent 53432 36ca6764027f
child 53553 d4191bf88529
     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"