diff -r efb98d27dc1a -r cda018294515 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Wed Mar 14 22:34:18 2012 +0100
+++ b/etc/isar-keywords.el	Thu Mar 15 00:10:45 2012 +0100
@@ -305,6 +305,7 @@
     "infixl"
     "infixr"
     "is"
+    "keywords"
     "lazy"
     "module_name"
     "monos"