1.1 --- a/etc/isar-keywords.el	Tue Jan 17 10:26:50 2006 +0100
     1.2 +++ b/etc/isar-keywords.el	Tue Jan 17 16:36:57 2006 +0100
     1.3 @@ -217,6 +217,7 @@
     1.4      "advanced"
     1.5      "and"
     1.6      "assumes"
     1.7 +    "atom"
     1.8      "attach"
     1.9      "begin"
    1.10      "binder"