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