1.1 --- a/etc/isar-keywords.el	Mon May 11 09:18:42 2009 +0200
     1.2 +++ b/etc/isar-keywords.el	Mon May 11 09:39:53 2009 +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-Nominal + HOL-Statespace + HOL-ex.
     1.7 +;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10  
    1.11 @@ -36,6 +36,7 @@
    1.12      "atp_kill"
    1.13      "atp_messages"
    1.14      "attribute_setup"
    1.15 +    "automaton"
    1.16      "ax_specification"
    1.17      "axclass"
    1.18      "axiomatization"
    1.19 @@ -73,6 +74,7 @@
    1.20      "consts_code"
    1.21      "context"
    1.22      "corollary"
    1.23 +    "cpodef"
    1.24      "datatype"
    1.25      "declaration"
    1.26      "declare"
    1.27 @@ -84,6 +86,7 @@
    1.28      "defs"
    1.29      "disable_pr"
    1.30      "display_drafts"
    1.31 +    "domain"
    1.32      "done"
    1.33      "enable_pr"
    1.34      "end"
    1.35 @@ -97,6 +100,8 @@
    1.36      "find_consts"
    1.37      "find_theorems"
    1.38      "fix"
    1.39 +    "fixpat"
    1.40 +    "fixrec"
    1.41      "from"
    1.42      "full_prf"
    1.43      "fun"
    1.44 @@ -146,6 +151,7 @@
    1.45      "overloading"
    1.46      "parse_ast_translation"
    1.47      "parse_translation"
    1.48 +    "pcpodef"
    1.49      "pr"
    1.50      "prefer"
    1.51      "presume"
    1.52 @@ -249,13 +255,15 @@
    1.53      "}"))
    1.54  
    1.55  (defconst isar-keywords-minor
    1.56 -  '("advanced"
    1.57 +  '("actions"
    1.58 +    "advanced"
    1.59      "and"
    1.60      "assumes"
    1.61      "attach"
    1.62      "avoids"
    1.63      "begin"
    1.64      "binder"
    1.65 +    "compose"
    1.66      "congs"
    1.67      "constrains"
    1.68      "contains"
    1.69 @@ -263,6 +271,7 @@
    1.70      "file"
    1.71      "fixes"
    1.72      "for"
    1.73 +    "hide_action"
    1.74      "hints"
    1.75      "identifier"
    1.76      "if"
    1.77 @@ -271,7 +280,11 @@
    1.78      "infix"
    1.79      "infixl"
    1.80      "infixr"
    1.81 +    "initially"
    1.82 +    "inputs"
    1.83 +    "internals"
    1.84      "is"
    1.85 +    "lazy"
    1.86      "module_name"
    1.87      "monos"
    1.88      "morphisms"
    1.89 @@ -279,10 +292,20 @@
    1.90      "obtains"
    1.91      "open"
    1.92      "output"
    1.93 +    "outputs"
    1.94      "overloaded"
    1.95      "permissive"
    1.96 +    "post"
    1.97 +    "pre"
    1.98 +    "rename"
    1.99 +    "restrict"
   1.100      "shows"
   1.101 +    "signature"
   1.102 +    "states"
   1.103      "structure"
   1.104 +    "to"
   1.105 +    "transitions"
   1.106 +    "transrel"
   1.107      "unchecked"
   1.108      "uses"
   1.109      "where"))
   1.110 @@ -400,6 +423,7 @@
   1.111      "arities"
   1.112      "atom_decl"
   1.113      "attribute_setup"
   1.114 +    "automaton"
   1.115      "axclass"
   1.116      "axiomatization"
   1.117      "axioms"
   1.118 @@ -431,10 +455,13 @@
   1.119      "defer_recdef"
   1.120      "definition"
   1.121      "defs"
   1.122 +    "domain"
   1.123      "equivariance"
   1.124      "extract"
   1.125      "extract_type"
   1.126      "finalconsts"
   1.127 +    "fixpat"
   1.128 +    "fixrec"
   1.129      "fun"
   1.130      "global"
   1.131      "hide"
   1.132 @@ -487,6 +514,7 @@
   1.133    '("ax_specification"
   1.134      "code_pred"
   1.135      "corollary"
   1.136 +    "cpodef"
   1.137      "function"
   1.138      "instance"
   1.139      "interpretation"
   1.140 @@ -494,6 +522,7 @@
   1.141      "nominal_inductive"
   1.142      "nominal_inductive2"
   1.143      "nominal_primrec"
   1.144 +    "pcpodef"
   1.145      "recdef_tc"
   1.146      "rep_datatype"
   1.147      "specification"