# HG changeset patch
# User wenzelm
# Date 1082746068 -7200
# Node ID 934e03881ad6d70aa0d5cb01d879c25b2dbfefab
# Parent  a68de9a2770a0f66db00daa9740e7180e9218b60
updated -- too late for Isabelle2004!

diff -r a68de9a2770a -r 934e03881ad6 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Fri Apr 23 14:47:12 2004 +0200
+++ b/etc/isar-keywords-ZF.el	Fri Apr 23 20:47:48 2004 +0200
@@ -177,7 +177,8 @@
     "}"))
 
 (defconst isar-keywords-minor
-  '("and"
+  '("advanced"
+    "and"
     "assumes"
     "binder"
     "case_eqns"
diff -r a68de9a2770a -r 934e03881ad6 etc/isar-keywords.el
--- 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"