etc/isar-keywords.el
changeset 20424 d5b4b55ad277
parent 20378 63a0aafc89ba
child 20453 855f07fabd76
     1.1 --- a/etc/isar-keywords.el	Mon Aug 28 18:18:31 2006 +0200
     1.2 +++ b/etc/isar-keywords.el	Tue Aug 29 14:31:11 2006 +0200
     1.3 @@ -42,10 +42,11 @@
     1.4      "classes"
     1.5      "classrel"
     1.6      "clear_undos"
     1.7 -    "code_classapp"
     1.8 +    "code_class"
     1.9      "code_constapp"
    1.10      "code_constname"
    1.11      "code_generate"
    1.12 +    "code_instance"
    1.13      "code_library"
    1.14      "code_module"
    1.15      "code_purge"
    1.16 @@ -387,10 +388,11 @@
    1.17      "class"
    1.18      "classes"
    1.19      "classrel"
    1.20 -    "code_classapp"
    1.21 +    "code_class"
    1.22      "code_constapp"
    1.23      "code_constname"
    1.24      "code_generate"
    1.25 +    "code_instance"
    1.26      "code_library"
    1.27      "code_module"
    1.28      "code_purge"