updated -- too late for Isabelle2004!
authorwenzelm
Fri Apr 23 20:47:48 2004 +0200 (2004-04-23)
changeset 14660934e03881ad6
parent 14659 a68de9a2770a
child 14661 9ead82084de8
updated -- too late for Isabelle2004!
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     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"