etc/isar-keywords.el
changeset 14660 934e03881ad6
parent 14508 859b11514537
child 14938 393b75c92c07
     1.1 --- a/etc/isar-keywords.el	Fri Apr 23 14:47:12 2004 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri Apr 23 20:47:48 2004 +0200
     1.3 @@ -187,6 +187,7 @@
     1.4  
     1.5  (defconst isar-keywords-minor
     1.6    '("actions"
     1.7 +    "advanced"
     1.8      "and"
     1.9      "assumes"
    1.10      "binder"