etc/isar-keywords.el
changeset 52143 36ffe23b25f8
parent 52142 348aed032cda
child 52430 289e36c2870a
     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"