etc/isar-keywords.el
changeset 21203 8154a62bb498
parent 21057 c45591716692
child 21302 4c8f3dfc7124
     1.1 --- a/etc/isar-keywords.el	Tue Nov 07 11:28:25 2006 +0100
     1.2 +++ b/etc/isar-keywords.el	Tue Nov 07 11:46:45 2006 +0100
     1.3 @@ -47,19 +47,17 @@
     1.4      "code_axioms"
     1.5      "code_class"
     1.6      "code_const"
     1.7 -    "code_constname"
     1.8      "code_gen"
     1.9      "code_instance"
    1.10 -    "code_instname"
    1.11      "code_library"
    1.12      "code_module"
    1.13 +    "code_modulename"
    1.14 +    "code_moduleprolog"
    1.15      "code_reserved"
    1.16      "code_type"
    1.17 -    "code_typename"
    1.18      "coinductive"
    1.19      "coinductive2"
    1.20      "commit"
    1.21 -    "const_syntax"
    1.22      "constdefs"
    1.23      "consts"
    1.24      "consts_code"
    1.25 @@ -123,6 +121,7 @@
    1.26      "no_translations"
    1.27      "nonterminals"
    1.28      "normal_form"
    1.29 +    "notation"
    1.30      "note"
    1.31      "obtain"
    1.32      "oops"
    1.33 @@ -283,7 +282,6 @@
    1.34      "signature"
    1.35      "states"
    1.36      "structure"
    1.37 -    "target_atom"
    1.38      "to"
    1.39      "transitions"
    1.40      "transrel"
    1.41 @@ -403,17 +401,15 @@
    1.42      "code_axioms"
    1.43      "code_class"
    1.44      "code_const"
    1.45 -    "code_constname"
    1.46      "code_instance"
    1.47 -    "code_instname"
    1.48      "code_library"
    1.49      "code_module"
    1.50 +    "code_modulename"
    1.51 +    "code_moduleprolog"
    1.52      "code_reserved"
    1.53      "code_type"
    1.54 -    "code_typename"
    1.55      "coinductive"
    1.56      "coinductive2"
    1.57 -    "const_syntax"
    1.58      "constdefs"
    1.59      "consts"
    1.60      "consts_code"
    1.61 @@ -441,6 +437,7 @@
    1.62      "no_syntax"
    1.63      "no_translations"
    1.64      "nonterminals"
    1.65 +    "notation"
    1.66      "oracle"
    1.67      "parse_ast_translation"
    1.68      "parse_translation"