1.1 --- a/etc/isar-keywords-ZF.el	Mon Jan 15 10:15:55 2007 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Tue Jan 16 08:06:52 2007 +0100
     1.3 @@ -11,14 +11,11 @@
     1.4      "ML"
     1.5      "ML_command"
     1.6      "ML_setup"
     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 @@ -39,7 +36,6 @@
    1.19      "class_deps"
    1.20      "classes"
    1.21      "classrel"
    1.22 -    "clear_undos"
    1.23      "codatatype"
    1.24      "code_abstype"
    1.25      "code_axioms"
    1.26 @@ -51,6 +47,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 @@ -254,17 +251,13 @@
    1.35      "where"))
    1.36  
    1.37  (defconst isar-keywords-control
    1.38 -  '("ProofGeneral\\.context_thy_only"
    1.39 -    "ProofGeneral\\.inform_file_processed"
    1.40 +  '("ProofGeneral\\.inform_file_processed"
    1.41      "ProofGeneral\\.inform_file_retracted"
    1.42      "ProofGeneral\\.kill_proof"
    1.43      "ProofGeneral\\.process_pgip"
    1.44 -    "ProofGeneral\\.redo"
    1.45      "ProofGeneral\\.restart"
    1.46 -    "ProofGeneral\\.try_context_thy_only"
    1.47      "ProofGeneral\\.undo"
    1.48      "cannot_undo"
    1.49 -    "clear_undos"
    1.50      "exit"
    1.51      "init_toplevel"
    1.52      "kill"
    1.53 @@ -371,6 +364,7 @@
    1.54      "code_module"
    1.55      "code_modulename"
    1.56      "code_moduleprolog"
    1.57 +    "code_monad"
    1.58      "code_reserved"
    1.59      "code_type"
    1.60      "coinductive"