1.1 --- a/etc/isar-keywords-ZF.el	Fri Oct 13 18:33:50 2006 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Fri Oct 13 22:30:29 2006 +0200
     1.3 @@ -51,6 +51,7 @@
     1.4      "code_instname"
     1.5      "code_library"
     1.6      "code_module"
     1.7 +    "code_reserved"
     1.8      "code_type"
     1.9      "code_typename"
    1.10      "coinductive"
    1.11 @@ -194,7 +195,6 @@
    1.12      "types_code"
    1.13      "ultimately"
    1.14      "undo"
    1.15 -    "undo_end"
    1.16      "undos_proof"
    1.17      "unfolding"
    1.18      "update_thy"
    1.19 @@ -271,7 +271,6 @@
    1.20      "quit"
    1.21      "redo"
    1.22      "undo"
    1.23 -    "undo_end"
    1.24      "undos_proof"))
    1.25  
    1.26  (defconst isar-keywords-diag
    1.27 @@ -370,6 +369,7 @@
    1.28      "code_instname"
    1.29      "code_library"
    1.30      "code_module"
    1.31 +    "code_reserved"
    1.32      "code_type"
    1.33      "code_typename"
    1.34      "coinductive"