1.1 --- a/etc/isar-keywords.el	Wed Apr 28 12:21:55 2010 +0200
     1.2 +++ b/etc/isar-keywords.el	Wed Apr 28 12:23:14 2010 +0200
     1.3 @@ -30,10 +30,6 @@
     1.4      "arities"
     1.5      "assume"
     1.6      "atom_decl"
     1.7 -    "atp_info"
     1.8 -    "atp_kill"
     1.9 -    "atp_messages"
    1.10 -    "atp_minimize"
    1.11      "attribute_setup"
    1.12      "automaton"
    1.13      "ax_specification"
    1.14 @@ -81,7 +77,7 @@
    1.15      "declaration"
    1.16      "declare"
    1.17      "def"
    1.18 -    "defaultsort"
    1.19 +    "default_sort"
    1.20      "defer"
    1.21      "defer_recdef"
    1.22      "definition"
    1.23 @@ -172,7 +168,6 @@
    1.24      "print_abbrevs"
    1.25      "print_antiquotations"
    1.26      "print_ast_translation"
    1.27 -    "print_atps"
    1.28      "print_attributes"
    1.29      "print_binds"
    1.30      "print_cases"
    1.31 @@ -362,10 +357,6 @@
    1.32    '("ML_command"
    1.33      "ML_val"
    1.34      "ProofGeneral\\.pr"
    1.35 -    "atp_info"
    1.36 -    "atp_kill"
    1.37 -    "atp_messages"
    1.38 -    "atp_minimize"
    1.39      "boogie_status"
    1.40      "cd"
    1.41      "class_deps"
    1.42 @@ -389,7 +380,6 @@
    1.43      "prf"
    1.44      "print_abbrevs"
    1.45      "print_antiquotations"
    1.46 -    "print_atps"
    1.47      "print_attributes"
    1.48      "print_binds"
    1.49      "print_cases"
    1.50 @@ -487,7 +477,7 @@
    1.51      "datatype"
    1.52      "declaration"
    1.53      "declare"
    1.54 -    "defaultsort"
    1.55 +    "default_sort"
    1.56      "defer_recdef"
    1.57      "definition"
    1.58      "defs"