1.1 --- a/etc/isar-keywords-ZF.el	Fri Dec 02 13:10:12 2005 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Fri Dec 02 16:04:29 2005 +0100
     1.3 @@ -37,13 +37,14 @@
     1.4      "classrel"
     1.5      "clear_undos"
     1.6      "codatatype"
     1.7 +    "code_alias"
     1.8 +    "code_class"
     1.9      "code_generate"
    1.10      "code_library"
    1.11      "code_module"
    1.12      "code_serialize"
    1.13      "code_syntax_const"
    1.14      "code_syntax_tyco"
    1.15 -    "codegen_class"
    1.16      "coinductive"
    1.17      "commit"
    1.18      "constdefs"
    1.19 @@ -56,7 +57,6 @@
    1.20      "def"
    1.21      "defaultsort"
    1.22      "defer"
    1.23 -    "defined_by"
    1.24      "defs"
    1.25      "disable_pr"
    1.26      "display_drafts"
    1.27 @@ -199,11 +199,11 @@
    1.28      "begin"
    1.29      "binder"
    1.30      "case_eqns"
    1.31 -    "code_alias"
    1.32      "con_defs"
    1.33      "concl"
    1.34      "constrains"
    1.35      "contains"
    1.36 +    "defined_by"
    1.37      "defines"
    1.38      "depending_on"
    1.39      "domains"
    1.40 @@ -332,20 +332,20 @@
    1.41      "classes"
    1.42      "classrel"
    1.43      "codatatype"
    1.44 +    "code_alias"
    1.45 +    "code_class"
    1.46      "code_generate"
    1.47      "code_library"
    1.48      "code_module"
    1.49      "code_serialize"
    1.50      "code_syntax_const"
    1.51      "code_syntax_tyco"
    1.52 -    "codegen_class"
    1.53      "coinductive"
    1.54      "constdefs"
    1.55      "consts"
    1.56      "consts_code"
    1.57      "datatype"
    1.58      "defaultsort"
    1.59 -    "defined_by"
    1.60      "defs"
    1.61      "extract"
    1.62      "extract_type"

     2.1 --- a/etc/isar-keywords.el	Fri Dec 02 13:10:12 2005 +0100
     2.2 +++ b/etc/isar-keywords.el	Fri Dec 02 16:04:29 2005 +0100
     2.3 @@ -39,13 +39,14 @@
     2.4      "classes"
     2.5      "classrel"
     2.6      "clear_undos"
     2.7 +    "code_alias"
     2.8 +    "code_class"
     2.9      "code_generate"
    2.10      "code_library"
    2.11      "code_module"
    2.12      "code_serialize"
    2.13      "code_syntax_const"
    2.14      "code_syntax_tyco"
    2.15 -    "codegen_class"
    2.16      "coinductive"
    2.17      "commit"
    2.18      "constdefs"
    2.19 @@ -60,7 +61,6 @@
    2.20      "defaultsort"
    2.21      "defer"
    2.22      "defer_recdef"
    2.23 -    "defined_by"
    2.24      "defs"
    2.25      "disable_pr"
    2.26      "display_drafts"
    2.27 @@ -213,12 +213,12 @@
    2.28      "attach"
    2.29      "begin"
    2.30      "binder"
    2.31 -    "code_alias"
    2.32      "compose"
    2.33      "concl"
    2.34      "congs"
    2.35      "constrains"
    2.36      "contains"
    2.37 +    "defined_by"
    2.38      "defines"
    2.39      "depending_on"
    2.40      "distinct"
    2.41 @@ -363,13 +363,14 @@
    2.42      "axioms"
    2.43      "classes"
    2.44      "classrel"
    2.45 +    "code_alias"
    2.46 +    "code_class"
    2.47      "code_generate"
    2.48      "code_library"
    2.49      "code_module"
    2.50      "code_serialize"
    2.51      "code_syntax_const"
    2.52      "code_syntax_tyco"
    2.53 -    "codegen_class"
    2.54      "coinductive"
    2.55      "constdefs"
    2.56      "consts"
    2.57 @@ -377,7 +378,6 @@
    2.58      "datatype"
    2.59      "defaultsort"
    2.60      "defer_recdef"
    2.61 -    "defined_by"
    2.62      "defs"
    2.63      "domain"
    2.64      "extract"