etc/isar-keywords.el
changeset 19854 9c1732a66b0b
parent 19797 a527b3e1076a
child 19891 2857fac35e6d
     1.1 --- a/etc/isar-keywords.el	Mon Jun 12 11:59:25 2006 +0200
     1.2 +++ b/etc/isar-keywords.el	Mon Jun 12 15:58:12 2006 +0200
     1.3 @@ -46,9 +46,6 @@
     1.4      "code_generate"
     1.5      "code_library"
     1.6      "code_module"
     1.7 -    "code_primclass"
     1.8 -    "code_primconst"
     1.9 -    "code_primtyco"
    1.10      "code_purge"
    1.11      "code_serialize"
    1.12      "code_syntax_const"
    1.13 @@ -115,7 +112,7 @@
    1.14      "no_syntax"
    1.15      "no_translations"
    1.16      "nonterminals"
    1.17 -    "norm_by_eval"
    1.18 +    "normal_form"
    1.19      "note"
    1.20      "obtain"
    1.21      "oops"
    1.22 @@ -387,9 +384,6 @@
    1.23      "code_generate"
    1.24      "code_library"
    1.25      "code_module"
    1.26 -    "code_primclass"
    1.27 -    "code_primconst"
    1.28 -    "code_primtyco"
    1.29      "code_purge"
    1.30      "code_serialize"
    1.31      "code_syntax_const"
    1.32 @@ -421,7 +415,7 @@
    1.33      "no_syntax"
    1.34      "no_translations"
    1.35      "nonterminals"
    1.36 -    "norm_by_eval"
    1.37 +    "normal_form"
    1.38      "oracle"
    1.39      "parse_ast_translation"
    1.40      "parse_translation"