1.1 --- a/etc/isar-keywords.el	Mon Jul 12 22:17:31 2010 +0200
     1.2 +++ b/etc/isar-keywords.el	Mon Jul 12 22:35:41 2010 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  ;;
     1.5  ;; Keyword classification tables for Isabelle/Isar.
     1.6 -;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Boogie + HOL-Nominal + HOL-Statespace.
     1.7 +;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + HOL-Boogie + HOL-Nominal + HOL-Statespace.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10  
    1.11 @@ -31,7 +31,6 @@
    1.12      "assume"
    1.13      "atom_decl"
    1.14      "attribute_setup"
    1.15 -    "automaton"
    1.16      "ax_specification"
    1.17      "axiomatization"
    1.18      "axioms"
    1.19 @@ -279,15 +278,13 @@
    1.20      "}"))
    1.21  
    1.22  (defconst isar-keywords-minor
    1.23 -  '("actions"
    1.24 -    "advanced"
    1.25 +  '("advanced"
    1.26      "and"
    1.27      "assumes"
    1.28      "attach"
    1.29      "avoids"
    1.30      "begin"
    1.31      "binder"
    1.32 -    "compose"
    1.33      "congs"
    1.34      "constrains"
    1.35      "contains"
    1.36 @@ -297,7 +294,6 @@
    1.37      "fixes"
    1.38      "for"
    1.39      "functions"
    1.40 -    "hide_action"
    1.41      "hints"
    1.42      "identifier"
    1.43      "if"
    1.44 @@ -306,9 +302,6 @@
    1.45      "infix"
    1.46      "infixl"
    1.47      "infixr"
    1.48 -    "initially"
    1.49 -    "inputs"
    1.50 -    "internals"
    1.51      "is"
    1.52      "lazy"
    1.53      "module_name"
    1.54 @@ -318,21 +311,11 @@
    1.55      "obtains"
    1.56      "open"
    1.57      "output"
    1.58 -    "outputs"
    1.59      "overloaded"
    1.60      "permissive"
    1.61      "pervasive"
    1.62 -    "post"
    1.63 -    "pre"
    1.64 -    "rename"
    1.65 -    "restrict"
    1.66      "shows"
    1.67 -    "signature"
    1.68 -    "states"
    1.69      "structure"
    1.70 -    "to"
    1.71 -    "transitions"
    1.72 -    "transrel"
    1.73      "unchecked"
    1.74      "uses"
    1.75      "where"))
    1.76 @@ -453,7 +436,6 @@
    1.77      "arities"
    1.78      "atom_decl"
    1.79      "attribute_setup"
    1.80 -    "automaton"
    1.81      "axiomatization"
    1.82      "axioms"
    1.83      "boogie_end"