1.1 --- a/etc/isar-keywords.el Sat May 25 15:00:53 2013 +0200
1.2 +++ b/etc/isar-keywords.el Sat May 25 15:37:53 2013 +0200
1.3 @@ -303,8 +303,7 @@
1.4 "}"))
1.5
1.6 (defconst isar-keywords-minor
1.7 - '("advanced"
1.8 - "and"
1.9 + '("and"
1.10 "assumes"
1.11 "attach"
1.12 "avoids"