etc/isar-keywords.el
changeset 20523 36a59e5d0039
parent 20453 855f07fabd76
child 20568 9b7f59c1bdfc
equal deleted inserted replaced
20522:05072ae0d435 20523:36a59e5d0039
    44     "clear_undos"
    44     "clear_undos"
    45     "code_class"
    45     "code_class"
    46     "code_const"
    46     "code_const"
    47     "code_constname"
    47     "code_constname"
    48     "code_gen"
    48     "code_gen"
    49     "code_generate"
       
    50     "code_instance"
    49     "code_instance"
    51     "code_library"
    50     "code_library"
    52     "code_module"
    51     "code_module"
    53     "code_purge"
    52     "code_purge"
    54     "code_serialize"
       
    55     "code_simtype"
    53     "code_simtype"
    56     "code_type"
    54     "code_type"
    57     "code_typename"
    55     "code_typename"
    58     "coinductive"
    56     "coinductive"
    59     "commit"
    57     "commit"
    87     "fix"
    85     "fix"
    88     "fixpat"
    86     "fixpat"
    89     "fixrec"
    87     "fixrec"
    90     "from"
    88     "from"
    91     "full_prf"
    89     "full_prf"
       
    90     "fun"
    92     "function"
    91     "function"
    93     "global"
    92     "global"
    94     "guess"
    93     "guess"
    95     "have"
    94     "have"
    96     "header"
    95     "header"
   391     "classrel"
   390     "classrel"
   392     "code_class"
   391     "code_class"
   393     "code_const"
   392     "code_const"
   394     "code_constname"
   393     "code_constname"
   395     "code_gen"
   394     "code_gen"
   396     "code_generate"
       
   397     "code_instance"
   395     "code_instance"
   398     "code_library"
   396     "code_library"
   399     "code_module"
   397     "code_module"
   400     "code_purge"
   398     "code_purge"
   401     "code_serialize"
       
   402     "code_type"
   399     "code_type"
   403     "code_typename"
   400     "code_typename"
   404     "coinductive"
   401     "coinductive"
   405     "const_syntax"
   402     "const_syntax"
   406     "constdefs"
   403     "constdefs"
   415     "extract"
   412     "extract"
   416     "extract_type"
   413     "extract_type"
   417     "finalconsts"
   414     "finalconsts"
   418     "fixpat"
   415     "fixpat"
   419     "fixrec"
   416     "fixrec"
       
   417     "fun"
   420     "global"
   418     "global"
   421     "hide"
   419     "hide"
   422     "inductive"
   420     "inductive"
   423     "judgment"
   421     "judgment"
   424     "lemmas"
   422     "lemmas"