diff -r de6285ebcc05 -r bfb9a790d1e7 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Fri Oct 23 18:59:24 2009 +0200
+++ b/etc/isar-keywords.el	Fri Oct 23 19:00:36 2009 +0200
@@ -9,12 +9,9 @@
     "\\.\\."
     "Isabelle\\.command"
     "Isar\\.begin_document"
-    "Isar\\.command"
     "Isar\\.define_command"
     "Isar\\.edit_document"
     "Isar\\.end_document"
-    "Isar\\.insert"
-    "Isar\\.remove"
     "ML"
     "ML_command"
     "ML_prf"
@@ -135,6 +132,8 @@
     "method_setup"
     "moreover"
     "next"
+    "nitpick"
+    "nitpick_params"
     "no_notation"
     "no_syntax"
     "no_translations"
@@ -317,12 +316,9 @@
 (defconst isar-keywords-control
   '("Isabelle\\.command"
     "Isar\\.begin_document"
-    "Isar\\.command"
     "Isar\\.define_command"
     "Isar\\.edit_document"
     "Isar\\.end_document"
-    "Isar\\.insert"
-    "Isar\\.remove"
     "ProofGeneral\\.inform_file_processed"
     "ProofGeneral\\.inform_file_retracted"
     "ProofGeneral\\.kill_proof"
@@ -360,6 +356,7 @@
     "header"
     "help"
     "kill_thy"
+    "nitpick"
     "normal_form"
     "pr"
     "pretty_setmargin"
@@ -482,6 +479,7 @@
     "local_setup"
     "locale"
     "method_setup"
+    "nitpick_params"
     "no_notation"
     "no_syntax"
     "no_translations"