1.1 --- a/etc/isar-keywords-ZF.el	Wed Apr 28 12:21:55 2010 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Wed Apr 28 12:23:14 2010 +0200
     1.3 @@ -57,7 +57,7 @@
     1.4      "declaration"
     1.5      "declare"
     1.6      "def"
     1.7 -    "defaultsort"
     1.8 +    "default_sort"
     1.9      "defer"
    1.10      "definition"
    1.11      "defs"
    1.12 @@ -372,7 +372,7 @@
    1.13      "datatype"
    1.14      "declaration"
    1.15      "declare"
    1.16 -    "defaultsort"
    1.17 +    "default_sort"
    1.18      "definition"
    1.19      "defs"
    1.20      "extract"

     2.1 --- a/etc/isar-keywords.el	Wed Apr 28 12:21:55 2010 +0200
     2.2 +++ b/etc/isar-keywords.el	Wed Apr 28 12:23:14 2010 +0200
     2.3 @@ -30,10 +30,6 @@
     2.4      "arities"
     2.5      "assume"
     2.6      "atom_decl"
     2.7 -    "atp_info"
     2.8 -    "atp_kill"
     2.9 -    "atp_messages"
    2.10 -    "atp_minimize"
    2.11      "attribute_setup"
    2.12      "automaton"
    2.13      "ax_specification"
    2.14 @@ -81,7 +77,7 @@
    2.15      "declaration"
    2.16      "declare"
    2.17      "def"
    2.18 -    "defaultsort"
    2.19 +    "default_sort"
    2.20      "defer"
    2.21      "defer_recdef"
    2.22      "definition"
    2.23 @@ -172,7 +168,6 @@
    2.24      "print_abbrevs"
    2.25      "print_antiquotations"
    2.26      "print_ast_translation"
    2.27 -    "print_atps"
    2.28      "print_attributes"
    2.29      "print_binds"
    2.30      "print_cases"
    2.31 @@ -362,10 +357,6 @@
    2.32    '("ML_command"
    2.33      "ML_val"
    2.34      "ProofGeneral\\.pr"
    2.35 -    "atp_info"
    2.36 -    "atp_kill"
    2.37 -    "atp_messages"
    2.38 -    "atp_minimize"
    2.39      "boogie_status"
    2.40      "cd"
    2.41      "class_deps"
    2.42 @@ -389,7 +380,6 @@
    2.43      "prf"
    2.44      "print_abbrevs"
    2.45      "print_antiquotations"
    2.46 -    "print_atps"
    2.47      "print_attributes"
    2.48      "print_binds"
    2.49      "print_cases"
    2.50 @@ -487,7 +477,7 @@
    2.51      "datatype"
    2.52      "declaration"
    2.53      "declare"
    2.54 -    "defaultsort"
    2.55 +    "default_sort"
    2.56      "defer_recdef"
    2.57      "definition"
    2.58      "defs"