1.1 --- a/etc/isar-keywords.el	Thu Aug 31 23:01:16 2006 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri Sep 01 08:36:51 2006 +0200
     1.3 @@ -43,8 +43,9 @@
     1.4      "classrel"
     1.5      "clear_undos"
     1.6      "code_class"
     1.7 -    "code_constapp"
     1.8 +    "code_const"
     1.9      "code_constname"
    1.10 +    "code_gen"
    1.11      "code_generate"
    1.12      "code_instance"
    1.13      "code_library"
    1.14 @@ -52,7 +53,7 @@
    1.15      "code_purge"
    1.16      "code_serialize"
    1.17      "code_simtype"
    1.18 -    "code_typapp"
    1.19 +    "code_type"
    1.20      "code_typename"
    1.21      "coinductive"
    1.22      "commit"
    1.23 @@ -389,15 +390,16 @@
    1.24      "classes"
    1.25      "classrel"
    1.26      "code_class"
    1.27 -    "code_constapp"
    1.28 +    "code_const"
    1.29      "code_constname"
    1.30 +    "code_gen"
    1.31      "code_generate"
    1.32      "code_instance"
    1.33      "code_library"
    1.34      "code_module"
    1.35      "code_purge"
    1.36      "code_serialize"
    1.37 -    "code_typapp"
    1.38 +    "code_type"
    1.39      "code_typename"
    1.40      "coinductive"
    1.41      "const_syntax"