etc/isar-keywords.el
changeset 22864 e2511e6e5cbb
parent 22486 d3b6cb2306b6
child 23732 f9f89b7cfdc7
--- a/etc/isar-keywords.el	Tue May 08 15:01:28 2007 +0200
+++ b/etc/isar-keywords.el	Tue May 08 15:01:29 2007 +0200
@@ -11,7 +11,6 @@
     "ML"
     "ML_command"
     "ML_setup"
-    "ProofGeneral\\.call_atp"
     "ProofGeneral\\.inform_file_processed"
     "ProofGeneral\\.inform_file_retracted"
     "ProofGeneral\\.kill_proof"
@@ -44,6 +43,7 @@
     "code_class"
     "code_const"
     "code_datatype"
+    "code_deps"
     "code_gen"
     "code_instance"
     "code_library"
@@ -184,6 +184,7 @@
     "setup"
     "show"
     "simproc_setup"
+    "sledgehammer"
     "sorry"
     "specification"
     "subsect"
@@ -313,9 +314,9 @@
 (defconst isar-keywords-diag
   '("ML"
     "ML_command"
-    "ProofGeneral\\.call_atp"
     "cd"
     "class_deps"
+    "code_deps"
     "code_gen"
     "code_thms"
     "commit"
@@ -360,6 +361,7 @@
     "quickcheck"
     "refute"
     "remove_thy"
+    "sledgehammer"
     "term"
     "thm"
     "thm_deps"