1.1 --- a/etc/isar-keywords.el	Thu Nov 06 11:52:50 2008 +0100
     1.2 +++ b/etc/isar-keywords.el	Thu Nov 06 12:29:51 2008 +0100
     1.3 @@ -271,7 +271,6 @@
     1.4      "if"
     1.5      "imports"
     1.6      "in"
     1.7 -    "includes"
     1.8      "infix"
     1.9      "infixl"
    1.10      "infixr"