etc/isar-keywords.el
changeset 22288 c565f33ec70f
parent 22200 d4797b506752
child 22486 d3b6cb2306b6
     1.1 --- a/etc/isar-keywords.el	Thu Feb 08 18:14:13 2007 +0100
     1.2 +++ b/etc/isar-keywords.el	Sat Feb 10 09:26:06 2007 +0100
     1.3 @@ -51,6 +51,7 @@
     1.4      "code_moduleprolog"
     1.5      "code_monad"
     1.6      "code_reserved"
     1.7 +    "code_thms"
     1.8      "code_type"
     1.9      "coinductive"
    1.10      "coinductive2"
    1.11 @@ -142,7 +143,7 @@
    1.12      "print_cases"
    1.13      "print_claset"
    1.14      "print_classes"
    1.15 -    "print_codethms"
    1.16 +    "print_codesetup"
    1.17      "print_commands"
    1.18      "print_context"
    1.19      "print_drafts"
    1.20 @@ -249,6 +250,7 @@
    1.21      "for"
    1.22      "hide_action"
    1.23      "hints"
    1.24 +    "identifier"
    1.25      "if"
    1.26      "imports"
    1.27      "in"
    1.28 @@ -313,6 +315,7 @@
    1.29      "cd"
    1.30      "class_deps"
    1.31      "code_gen"
    1.32 +    "code_thms"
    1.33      "commit"
    1.34      "disable_pr"
    1.35      "display_drafts"
    1.36 @@ -333,7 +336,7 @@
    1.37      "print_cases"
    1.38      "print_claset"
    1.39      "print_classes"
    1.40 -    "print_codethms"
    1.41 +    "print_codesetup"
    1.42      "print_commands"
    1.43      "print_context"
    1.44      "print_drafts"