1.1 --- a/etc/isar-keywords.el	Thu Jan 18 11:16:49 2007 +0100
     1.2 +++ b/etc/isar-keywords.el	Fri Jan 19 13:09:31 2007 +0100
     1.3 @@ -12,14 +12,11 @@
     1.4      "ML_command"
     1.5      "ML_setup"
     1.6      "ProofGeneral\\.call_atp"
     1.7 -    "ProofGeneral\\.context_thy_only"
     1.8      "ProofGeneral\\.inform_file_processed"
     1.9      "ProofGeneral\\.inform_file_retracted"
    1.10      "ProofGeneral\\.kill_proof"
    1.11      "ProofGeneral\\.process_pgip"
    1.12 -    "ProofGeneral\\.redo"
    1.13      "ProofGeneral\\.restart"
    1.14 -    "ProofGeneral\\.try_context_thy_only"
    1.15      "ProofGeneral\\.undo"
    1.16      "abbreviation"
    1.17      "also"
    1.18 @@ -42,7 +39,6 @@
    1.19      "class_deps"
    1.20      "classes"
    1.21      "classrel"
    1.22 -    "clear_undos"
    1.23      "code_abstype"
    1.24      "code_axioms"
    1.25      "code_class"
    1.26 @@ -53,6 +49,7 @@
    1.27      "code_module"
    1.28      "code_modulename"
    1.29      "code_moduleprolog"
    1.30 +    "code_monad"
    1.31      "code_reserved"
    1.32      "code_type"
    1.33      "coinductive"
    1.34 @@ -65,6 +62,7 @@
    1.35      "corollary"
    1.36      "cpodef"
    1.37      "datatype"
    1.38 +    "declaration"
    1.39      "declare"
    1.40      "def"
    1.41      "defaultsort"
    1.42 @@ -292,17 +290,13 @@
    1.43      "where"))
    1.44  
    1.45  (defconst isar-keywords-control
    1.46 -  '("ProofGeneral\\.context_thy_only"
    1.47 -    "ProofGeneral\\.inform_file_processed"
    1.48 +  '("ProofGeneral\\.inform_file_processed"
    1.49      "ProofGeneral\\.inform_file_retracted"
    1.50      "ProofGeneral\\.kill_proof"
    1.51      "ProofGeneral\\.process_pgip"
    1.52 -    "ProofGeneral\\.redo"
    1.53      "ProofGeneral\\.restart"
    1.54 -    "ProofGeneral\\.try_context_thy_only"
    1.55      "ProofGeneral\\.undo"
    1.56      "cannot_undo"
    1.57 -    "clear_undos"
    1.58      "exit"
    1.59      "init_toplevel"
    1.60      "kill"
    1.61 @@ -410,6 +404,7 @@
    1.62      "code_module"
    1.63      "code_modulename"
    1.64      "code_moduleprolog"
    1.65 +    "code_monad"
    1.66      "code_reserved"
    1.67      "code_type"
    1.68      "coinductive"
    1.69 @@ -419,6 +414,7 @@
    1.70      "consts_code"
    1.71      "context"
    1.72      "datatype"
    1.73 +    "declaration"
    1.74      "defaultsort"
    1.75      "defer_recdef"
    1.76      "definition"