1.1 --- a/etc/isar-keywords.el	Fri Oct 23 18:59:24 2009 +0200
     1.2 +++ b/etc/isar-keywords.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 @@ -135,6 +132,8 @@
    1.17      "method_setup"
    1.18      "moreover"
    1.19      "next"
    1.20 +    "nitpick"
    1.21 +    "nitpick_params"
    1.22      "no_notation"
    1.23      "no_syntax"
    1.24      "no_translations"
    1.25 @@ -317,12 +316,9 @@
    1.26  (defconst isar-keywords-control
    1.27    '("Isabelle\\.command"
    1.28      "Isar\\.begin_document"
    1.29 -    "Isar\\.command"
    1.30      "Isar\\.define_command"
    1.31      "Isar\\.edit_document"
    1.32      "Isar\\.end_document"
    1.33 -    "Isar\\.insert"
    1.34 -    "Isar\\.remove"
    1.35      "ProofGeneral\\.inform_file_processed"
    1.36      "ProofGeneral\\.inform_file_retracted"
    1.37      "ProofGeneral\\.kill_proof"
    1.38 @@ -360,6 +356,7 @@
    1.39      "header"
    1.40      "help"
    1.41      "kill_thy"
    1.42 +    "nitpick"
    1.43      "normal_form"
    1.44      "pr"
    1.45      "pretty_setmargin"
    1.46 @@ -482,6 +479,7 @@
    1.47      "local_setup"
    1.48      "locale"
    1.49      "method_setup"
    1.50 +    "nitpick_params"
    1.51      "no_notation"
    1.52      "no_syntax"
    1.53      "no_translations"