--- 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"