--- a/etc/isar-keywords.el Thu Dec 29 15:31:27 2005 +0100 +++ b/etc/isar-keywords.el Thu Dec 29 16:10:58 2005 +0100 @@ -214,6 +214,7 @@ "advanced" "and" "assumes" + "atom" "attach" "begin" "binder"