etc/isar-keywords.el
changeset 20523 36a59e5d0039
parent 20453 855f07fabd76
child 20568 9b7f59c1bdfc
     1.1 --- a/etc/isar-keywords.el	Wed Sep 13 00:38:38 2006 +0200
     1.2 +++ b/etc/isar-keywords.el	Wed Sep 13 12:05:50 2006 +0200
     1.3 @@ -46,12 +46,10 @@
     1.4      "code_const"
     1.5      "code_constname"
     1.6      "code_gen"
     1.7 -    "code_generate"
     1.8      "code_instance"
     1.9      "code_library"
    1.10      "code_module"
    1.11      "code_purge"
    1.12 -    "code_serialize"
    1.13      "code_simtype"
    1.14      "code_type"
    1.15      "code_typename"
    1.16 @@ -89,6 +87,7 @@
    1.17      "fixrec"
    1.18      "from"
    1.19      "full_prf"
    1.20 +    "fun"
    1.21      "function"
    1.22      "global"
    1.23      "guess"
    1.24 @@ -393,12 +392,10 @@
    1.25      "code_const"
    1.26      "code_constname"
    1.27      "code_gen"
    1.28 -    "code_generate"
    1.29      "code_instance"
    1.30      "code_library"
    1.31      "code_module"
    1.32      "code_purge"
    1.33 -    "code_serialize"
    1.34      "code_type"
    1.35      "code_typename"
    1.36      "coinductive"
    1.37 @@ -417,6 +414,7 @@
    1.38      "finalconsts"
    1.39      "fixpat"
    1.40      "fixrec"
    1.41 +    "fun"
    1.42      "global"
    1.43      "hide"
    1.44      "inductive"