diff -r 329111e1c4ba -r f219011a5e3c isar-keywords-prove.el
--- a/isar-keywords-prove.el	Wed Oct 28 15:25:36 2009 +0100
+++ b/isar-keywords-prove.el	Wed Oct 28 16:05:59 2009 +0100
@@ -127,6 +127,7 @@
     "method_setup"
     "moreover"
     "next"
+    "nitpick"
     "no_notation"
     "no_syntax"
     "no_translations"
@@ -580,6 +581,7 @@
     "apply_end"
     "back"
     "defer"
+    "nitpick"
     "prefer"))
 
 (provide 'isar-keywords)