etc/isar-keywords.el
changeset 24343 acc0f7aac619
parent 24249 1f60b45c5f97
child 24437 c2a76e8a3d54
     1.1 --- a/etc/isar-keywords.el	Mon Aug 20 18:07:25 2007 +0200
     1.2 +++ b/etc/isar-keywords.el	Mon Aug 20 18:07:26 2007 +0200
     1.3 @@ -44,7 +44,6 @@
     1.4      "code_const"
     1.5      "code_datatype"
     1.6      "code_deps"
     1.7 -    "code_gen"
     1.8      "code_instance"
     1.9      "code_library"
    1.10      "code_module"
    1.11 @@ -79,6 +78,7 @@
    1.12      "enable_pr"
    1.13      "end"
    1.14      "exit"
    1.15 +    "export_code"
    1.16      "extract"
    1.17      "extract_type"
    1.18      "finalconsts"
    1.19 @@ -155,6 +155,7 @@
    1.20      "print_locale"
    1.21      "print_locales"
    1.22      "print_methods"
    1.23 +    "print_noatp_rules"
    1.24      "print_rules"
    1.25      "print_simpset"
    1.26      "print_statement"
    1.27 @@ -206,7 +207,6 @@
    1.28      "thus"
    1.29      "thy_deps"
    1.30      "token_translation"
    1.31 -    "touch_all_thys"
    1.32      "touch_child_thys"
    1.33      "touch_thy"
    1.34      "translations"
    1.35 @@ -315,12 +315,12 @@
    1.36      "cd"
    1.37      "class_deps"
    1.38      "code_deps"
    1.39 -    "code_gen"
    1.40      "code_thms"
    1.41      "commit"
    1.42      "disable_pr"
    1.43      "display_drafts"
    1.44      "enable_pr"
    1.45 +    "export_code"
    1.46      "find_theorems"
    1.47      "full_prf"
    1.48      "header"
    1.49 @@ -349,6 +349,7 @@
    1.50      "print_locale"
    1.51      "print_locales"
    1.52      "print_methods"
    1.53 +    "print_noatp_rules"
    1.54      "print_rules"
    1.55      "print_simpset"
    1.56      "print_statement"
    1.57 @@ -366,7 +367,6 @@
    1.58      "thm"
    1.59      "thm_deps"
    1.60      "thy_deps"
    1.61 -    "touch_all_thys"
    1.62      "touch_child_thys"
    1.63      "touch_thy"
    1.64      "typ"