1.1 --- a/etc/isar-keywords-ZF.el	Fri Apr 23 14:47:12 2004 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Fri Apr 23 20:47:48 2004 +0200
     1.3 @@ -177,7 +177,8 @@
     1.4      "}"))
     1.5  
     1.6  (defconst isar-keywords-minor
     1.7 -  '("and"
     1.8 +  '("advanced"
     1.9 +    "and"
    1.10      "assumes"
    1.11      "binder"
    1.12      "case_eqns"

     2.1 --- a/etc/isar-keywords.el	Fri Apr 23 14:47:12 2004 +0200
     2.2 +++ b/etc/isar-keywords.el	Fri Apr 23 20:47:48 2004 +0200
     2.3 @@ -187,6 +187,7 @@
     2.4  
     2.5  (defconst isar-keywords-minor
     2.6    '("actions"
     2.7 +    "advanced"
     2.8      "and"
     2.9      "assumes"
    2.10      "binder"