1.1 --- a/etc/isar-keywords.el	Wed Jan 21 23:21:44 2009 +0100
     1.2 +++ b/etc/isar-keywords.el	Wed Jan 21 23:25:17 2009 +0100
     1.3 @@ -3,14 +3,16 @@
     1.4  ;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
     1.5  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.6  ;;
     1.7 -;; $Id$
     1.8 -;;
     1.9  
    1.10  (defconst isar-keywords-major
    1.11    '("\\."
    1.12      "\\.\\."
    1.13      "Isabelle\\.command"
    1.14 +    "Isar\\.begin_document"
    1.15      "Isar\\.command"
    1.16 +    "Isar\\.define_command"
    1.17 +    "Isar\\.edit_document"
    1.18 +    "Isar\\.end_document"
    1.19      "Isar\\.insert"
    1.20      "Isar\\.remove"
    1.21      "ML"
    1.22 @@ -46,9 +48,6 @@
    1.23      "chapter"
    1.24      "class"
    1.25      "class_deps"
    1.26 -    "class_interpret"
    1.27 -    "class_interpretation"
    1.28 -    "class_locale"
    1.29      "classes"
    1.30      "classrel"
    1.31      "code_abort"
    1.32 @@ -119,7 +118,6 @@
    1.33      "instantiation"
    1.34      "interpret"
    1.35      "interpretation"
    1.36 -    "invoke"
    1.37      "judgment"
    1.38      "kill"
    1.39      "kill_thy"
    1.40 @@ -172,7 +170,6 @@
    1.41      "print_drafts"
    1.42      "print_facts"
    1.43      "print_induct_rules"
    1.44 -    "print_interps"
    1.45      "print_locale"
    1.46      "print_locales"
    1.47      "print_methods"
    1.48 @@ -312,7 +309,11 @@
    1.49  
    1.50  (defconst isar-keywords-control
    1.51    '("Isabelle\\.command"
    1.52 +    "Isar\\.begin_document"
    1.53      "Isar\\.command"
    1.54 +    "Isar\\.define_command"
    1.55 +    "Isar\\.edit_document"
    1.56 +    "Isar\\.end_document"
    1.57      "Isar\\.insert"
    1.58      "Isar\\.remove"
    1.59      "ProofGeneral\\.inform_file_processed"
    1.60 @@ -369,7 +370,6 @@
    1.61      "print_drafts"
    1.62      "print_facts"
    1.63      "print_induct_rules"
    1.64 -    "print_interps"
    1.65      "print_locale"
    1.66      "print_locales"
    1.67      "print_methods"
    1.68 @@ -423,7 +423,6 @@
    1.69      "axiomatization"
    1.70      "axioms"
    1.71      "class"
    1.72 -    "class_locale"
    1.73      "classes"
    1.74      "classrel"
    1.75      "code_abort"
    1.76 @@ -507,7 +506,6 @@
    1.77  
    1.78  (defconst isar-keywords-theory-goal
    1.79    '("ax_specification"
    1.80 -    "class_interpretation"
    1.81      "corollary"
    1.82      "cpodef"
    1.83      "function"
    1.84 @@ -546,11 +544,9 @@
    1.85      "subsubsect"))
    1.86  
    1.87  (defconst isar-keywords-proof-goal
    1.88 -  '("class_interpret"
    1.89 -    "have"
    1.90 +  '("have"
    1.91      "hence"
    1.92 -    "interpret"
    1.93 -    "invoke"))
    1.94 +    "interpret"))
    1.95  
    1.96  (defconst isar-keywords-proof-block
    1.97    '("next"