1.1 --- a/etc/isar-keywords.el Tue May 08 15:01:28 2007 +0200
1.2 +++ b/etc/isar-keywords.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 @@ -44,6 +43,7 @@
1.12 "code_class"
1.13 "code_const"
1.14 "code_datatype"
1.15 + "code_deps"
1.16 "code_gen"
1.17 "code_instance"
1.18 "code_library"
1.19 @@ -184,6 +184,7 @@
1.20 "setup"
1.21 "show"
1.22 "simproc_setup"
1.23 + "sledgehammer"
1.24 "sorry"
1.25 "specification"
1.26 "subsect"
1.27 @@ -313,9 +314,9 @@
1.28 (defconst isar-keywords-diag
1.29 '("ML"
1.30 "ML_command"
1.31 - "ProofGeneral\\.call_atp"
1.32 "cd"
1.33 "class_deps"
1.34 + "code_deps"
1.35 "code_gen"
1.36 "code_thms"
1.37 "commit"
1.38 @@ -360,6 +361,7 @@
1.39 "quickcheck"
1.40 "refute"
1.41 "remove_thy"
1.42 + "sledgehammer"
1.43 "term"
1.44 "thm"
1.45 "thm_deps"