etc/isar-keywords-ZF.el
changeset 14660 934e03881ad6
parent 14508 859b11514537
child 14937 37b06d27683d
     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"