etc/isar-keywords.el
changeset 37824 365e37fe93f3
parent 37785 173667d73115
child 37983 d104dedacd9e
     1.1 --- a/etc/isar-keywords.el	Wed Jul 14 15:49:29 2010 +0200
     1.2 +++ b/etc/isar-keywords.el	Wed Jul 14 15:49:29 2010 +0200
     1.3 @@ -285,6 +285,7 @@
     1.4      "avoids"
     1.5      "begin"
     1.6      "binder"
     1.7 +    "checking"
     1.8      "congs"
     1.9      "constrains"
    1.10      "contains"