etc/isar-keywords.el
changeset 46938 cda018294515
parent 46641 8801a24f9e9a
child 46951 4e032ac36134
     1.1 --- a/etc/isar-keywords.el	Wed Mar 14 22:34:18 2012 +0100
     1.2 +++ b/etc/isar-keywords.el	Thu Mar 15 00:10:45 2012 +0100
     1.3 @@ -305,6 +305,7 @@
     1.4      "infixl"
     1.5      "infixr"
     1.6      "is"
     1.7 +    "keywords"
     1.8      "lazy"
     1.9      "module_name"
    1.10      "monos"