1.1 --- a/etc/isar-keywords-ZF.el	Fri Oct 23 18:59:24 2009 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Fri Oct 23 19:00:36 2009 +0200
     1.3 @@ -9,12 +9,9 @@
     1.4      "\\.\\."
     1.5      "Isabelle\\.command"
     1.6      "Isar\\.begin_document"
     1.7 -    "Isar\\.command"
     1.8      "Isar\\.define_command"
     1.9      "Isar\\.edit_document"
    1.10      "Isar\\.end_document"
    1.11 -    "Isar\\.insert"
    1.12 -    "Isar\\.remove"
    1.13      "ML"
    1.14      "ML_command"
    1.15      "ML_prf"
    1.16 @@ -252,12 +249,9 @@
    1.17  (defconst isar-keywords-control
    1.18    '("Isabelle\\.command"
    1.19      "Isar\\.begin_document"
    1.20 -    "Isar\\.command"
    1.21      "Isar\\.define_command"
    1.22      "Isar\\.edit_document"
    1.23      "Isar\\.end_document"
    1.24 -    "Isar\\.insert"
    1.25 -    "Isar\\.remove"
    1.26      "ProofGeneral\\.inform_file_processed"
    1.27      "ProofGeneral\\.inform_file_retracted"
    1.28      "ProofGeneral\\.kill_proof"

     2.1 --- a/etc/isar-keywords.el	Fri Oct 23 18:59:24 2009 +0200
     2.2 +++ b/etc/isar-keywords.el	Fri Oct 23 19:00:36 2009 +0200
     2.3 @@ -9,12 +9,9 @@
     2.4      "\\.\\."
     2.5      "Isabelle\\.command"
     2.6      "Isar\\.begin_document"
     2.7 -    "Isar\\.command"
     2.8      "Isar\\.define_command"
     2.9      "Isar\\.edit_document"
    2.10      "Isar\\.end_document"
    2.11 -    "Isar\\.insert"
    2.12 -    "Isar\\.remove"
    2.13      "ML"
    2.14      "ML_command"
    2.15      "ML_prf"
    2.16 @@ -135,6 +132,8 @@
    2.17      "method_setup"
    2.18      "moreover"
    2.19      "next"
    2.20 +    "nitpick"
    2.21 +    "nitpick_params"
    2.22      "no_notation"
    2.23      "no_syntax"
    2.24      "no_translations"
    2.25 @@ -317,12 +316,9 @@
    2.26  (defconst isar-keywords-control
    2.27    '("Isabelle\\.command"
    2.28      "Isar\\.begin_document"
    2.29 -    "Isar\\.command"
    2.30      "Isar\\.define_command"
    2.31      "Isar\\.edit_document"
    2.32      "Isar\\.end_document"
    2.33 -    "Isar\\.insert"
    2.34 -    "Isar\\.remove"
    2.35      "ProofGeneral\\.inform_file_processed"
    2.36      "ProofGeneral\\.inform_file_retracted"
    2.37      "ProofGeneral\\.kill_proof"
    2.38 @@ -360,6 +356,7 @@
    2.39      "header"
    2.40      "help"
    2.41      "kill_thy"
    2.42 +    "nitpick"
    2.43      "normal_form"
    2.44      "pr"
    2.45      "pretty_setmargin"
    2.46 @@ -482,6 +479,7 @@
    2.47      "local_setup"
    2.48      "locale"
    2.49      "method_setup"
    2.50 +    "nitpick_params"
    2.51      "no_notation"
    2.52      "no_syntax"
    2.53      "no_translations"

     3.1 --- a/lib/jedit/isabelle.xml	Fri Oct 23 18:59:24 2009 +0200
     3.2 +++ b/lib/jedit/isabelle.xml	Fri Oct 23 19:00:36 2009 +0200
     3.3 @@ -36,12 +36,9 @@
     3.4        <OPERATOR>..</OPERATOR>
     3.5        <INVALID>Isabelle.command</INVALID>
     3.6        <INVALID>Isar.begin_document</INVALID>
     3.7 -      <INVALID>Isar.command</INVALID>
     3.8        <INVALID>Isar.define_command</INVALID>
     3.9        <INVALID>Isar.edit_document</INVALID>
    3.10        <INVALID>Isar.end_document</INVALID>
    3.11 -      <INVALID>Isar.insert</INVALID>
    3.12 -      <INVALID>Isar.remove</INVALID>
    3.13        <OPERATOR>ML</OPERATOR>
    3.14        <LABEL>ML_command</LABEL>
    3.15        <OPERATOR>ML_prf</OPERATOR>
    3.16 @@ -196,6 +193,8 @@
    3.17        <OPERATOR>moreover</OPERATOR>
    3.18        <KEYWORD4>morphisms</KEYWORD4>
    3.19        <OPERATOR>next</OPERATOR>
    3.20 +      <LABEL>nitpick</LABEL>
    3.21 +      <OPERATOR>nitpick_params</OPERATOR>
    3.22        <OPERATOR>no_notation</OPERATOR>
    3.23        <OPERATOR>no_syntax</OPERATOR>
    3.24        <OPERATOR>no_translations</OPERATOR>
    3.25 @@ -246,6 +245,7 @@
    3.26        <LABEL>print_drafts</LABEL>
    3.27        <LABEL>print_facts</LABEL>
    3.28        <LABEL>print_induct_rules</LABEL>
    3.29 +      <LABEL>print_interps</LABEL>
    3.30        <LABEL>print_locale</LABEL>
    3.31        <LABEL>print_locales</LABEL>
    3.32        <LABEL>print_methods</LABEL>