# HG changeset patch
# User blanchet
# Date 1256317236 -7200
# Node ID bfb9a790d1e7783ee8895fef3cdd1800c51b8ada
# Parent  de6285ebcc05d4b0587c291c17f277e2fecf4f9f
updated keyword files to include "nitpick" and "nitpick_params"

diff -r de6285ebcc05 -r bfb9a790d1e7 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Fri Oct 23 18:59:24 2009 +0200
+++ b/etc/isar-keywords-ZF.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"
@@ -252,12 +249,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"
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"
diff -r de6285ebcc05 -r bfb9a790d1e7 lib/jedit/isabelle.xml
--- a/lib/jedit/isabelle.xml	Fri Oct 23 18:59:24 2009 +0200
+++ b/lib/jedit/isabelle.xml	Fri Oct 23 19:00:36 2009 +0200
@@ -36,12 +36,9 @@
       <OPERATOR>..</OPERATOR>
       <INVALID>Isabelle.command</INVALID>
       <INVALID>Isar.begin_document</INVALID>
-      <INVALID>Isar.command</INVALID>
       <INVALID>Isar.define_command</INVALID>
       <INVALID>Isar.edit_document</INVALID>
       <INVALID>Isar.end_document</INVALID>
-      <INVALID>Isar.insert</INVALID>
-      <INVALID>Isar.remove</INVALID>
       <OPERATOR>ML</OPERATOR>
       <LABEL>ML_command</LABEL>
       <OPERATOR>ML_prf</OPERATOR>
@@ -196,6 +193,8 @@
       <OPERATOR>moreover</OPERATOR>
       <KEYWORD4>morphisms</KEYWORD4>
       <OPERATOR>next</OPERATOR>
+      <LABEL>nitpick</LABEL>
+      <OPERATOR>nitpick_params</OPERATOR>
       <OPERATOR>no_notation</OPERATOR>
       <OPERATOR>no_syntax</OPERATOR>
       <OPERATOR>no_translations</OPERATOR>
@@ -246,6 +245,7 @@
       <LABEL>print_drafts</LABEL>
       <LABEL>print_facts</LABEL>
       <LABEL>print_induct_rules</LABEL>
+      <LABEL>print_interps</LABEL>
       <LABEL>print_locale</LABEL>
       <LABEL>print_locales</LABEL>
       <LABEL>print_methods</LABEL>