--- a/etc/isar-keywords.el Thu Nov 06 11:52:50 2008 +0100 +++ b/etc/isar-keywords.el Thu Nov 06 12:29:51 2008 +0100 @@ -271,7 +271,6 @@ "if" "imports" "in" - "includes" "infix" "infixl" "infixr"