1.1 --- a/etc/isar-keywords-HOL-Nominal.el	Tue May 08 15:01:28 2007 +0200
     1.2 +++ b/etc/isar-keywords-HOL-Nominal.el	Tue May 08 15:01:29 2007 +0200
     1.3 @@ -11,7 +11,6 @@
     1.4      "ML"
     1.5      "ML_command"
     1.6      "ML_setup"
     1.7 -    "ProofGeneral\\.call_atp"
     1.8      "ProofGeneral\\.inform_file_processed"
     1.9      "ProofGeneral\\.inform_file_retracted"
    1.10      "ProofGeneral\\.kill_proof"
    1.11 @@ -184,6 +183,7 @@
    1.12      "setup"
    1.13      "show"
    1.14      "simproc_setup"
    1.15 +    "sledgehammer"
    1.16      "sorry"
    1.17      "specification"
    1.18      "subsect"
    1.19 @@ -299,7 +299,6 @@
    1.20  (defconst isar-keywords-diag
    1.21    '("ML"
    1.22      "ML_command"
    1.23 -    "ProofGeneral\\.call_atp"
    1.24      "cd"
    1.25      "class_deps"
    1.26      "code_deps"
    1.27 @@ -347,6 +346,7 @@
    1.28      "quickcheck"
    1.29      "refute"
    1.30      "remove_thy"
    1.31 +    "sledgehammer"
    1.32      "term"
    1.33      "thm"
    1.34      "thm_deps"

     2.1 --- a/etc/isar-keywords-ZF.el	Tue May 08 15:01:28 2007 +0200
     2.2 +++ b/etc/isar-keywords-ZF.el	Tue May 08 15:01:29 2007 +0200
     2.3 @@ -42,6 +42,7 @@
     2.4      "code_class"
     2.5      "code_const"
     2.6      "code_datatype"
     2.7 +    "code_deps"
     2.8      "code_gen"
     2.9      "code_instance"
    2.10      "code_library"
    2.11 @@ -277,6 +278,7 @@
    2.12      "ML_command"
    2.13      "cd"
    2.14      "class_deps"
    2.15 +    "code_deps"
    2.16      "code_gen"
    2.17      "code_thms"
    2.18      "commit"

     3.1 --- a/etc/isar-keywords.el	Tue May 08 15:01:28 2007 +0200
     3.2 +++ b/etc/isar-keywords.el	Tue May 08 15:01:29 2007 +0200
     3.3 @@ -11,7 +11,6 @@
     3.4      "ML"
     3.5      "ML_command"
     3.6      "ML_setup"
     3.7 -    "ProofGeneral\\.call_atp"
     3.8      "ProofGeneral\\.inform_file_processed"
     3.9      "ProofGeneral\\.inform_file_retracted"
    3.10      "ProofGeneral\\.kill_proof"
    3.11 @@ -44,6 +43,7 @@
    3.12      "code_class"
    3.13      "code_const"
    3.14      "code_datatype"
    3.15 +    "code_deps"
    3.16      "code_gen"
    3.17      "code_instance"
    3.18      "code_library"
    3.19 @@ -184,6 +184,7 @@
    3.20      "setup"
    3.21      "show"
    3.22      "simproc_setup"
    3.23 +    "sledgehammer"
    3.24      "sorry"
    3.25      "specification"
    3.26      "subsect"
    3.27 @@ -313,9 +314,9 @@
    3.28  (defconst isar-keywords-diag
    3.29    '("ML"
    3.30      "ML_command"
    3.31 -    "ProofGeneral\\.call_atp"
    3.32      "cd"
    3.33      "class_deps"
    3.34 +    "code_deps"
    3.35      "code_gen"
    3.36      "code_thms"
    3.37      "commit"
    3.38 @@ -360,6 +361,7 @@
    3.39      "quickcheck"
    3.40      "refute"
    3.41      "remove_thy"
    3.42 +    "sledgehammer"
    3.43      "term"
    3.44      "thm"
    3.45      "thm_deps"