1.1 --- a/etc/isar-keywords-ZF.el	Thu Feb 08 18:14:13 2007 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Sat Feb 10 09:26:06 2007 +0100
     1.3 @@ -49,6 +49,7 @@
     1.4      "code_moduleprolog"
     1.5      "code_monad"
     1.6      "code_reserved"
     1.7 +    "code_thms"
     1.8      "code_type"
     1.9      "coinductive"
    1.10      "commit"
    1.11 @@ -129,7 +130,7 @@
    1.12      "print_cases"
    1.13      "print_claset"
    1.14      "print_classes"
    1.15 -    "print_codethms"
    1.16 +    "print_codesetup"
    1.17      "print_commands"
    1.18      "print_context"
    1.19      "print_drafts"
    1.20 @@ -227,6 +228,7 @@
    1.21      "file"
    1.22      "fixes"
    1.23      "for"
    1.24 +    "identifier"
    1.25      "if"
    1.26      "imports"
    1.27      "in"
    1.28 @@ -274,6 +276,7 @@
    1.29      "cd"
    1.30      "class_deps"
    1.31      "code_gen"
    1.32 +    "code_thms"
    1.33      "commit"
    1.34      "disable_pr"
    1.35      "display_drafts"
    1.36 @@ -294,7 +297,7 @@
    1.37      "print_cases"
    1.38      "print_claset"
    1.39      "print_classes"
    1.40 -    "print_codethms"
    1.41 +    "print_codesetup"
    1.42      "print_commands"
    1.43      "print_context"
    1.44      "print_drafts"