1.1 --- a/etc/isar-keywords.el	Wed Nov 25 15:04:20 2009 +0100
     1.2 +++ b/etc/isar-keywords.el	Wed Nov 25 15:21:41 2009 +0100
     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 + IOA + HOL-Boogie + HOL-Nominal + HOL-SMT + HOL-Statespace.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10  
    1.11 @@ -218,6 +218,7 @@
    1.12      "show"
    1.13      "simproc_setup"
    1.14      "sledgehammer"
    1.15 +    "smt_status"
    1.16      "sorry"
    1.17      "specification"
    1.18      "statespace"
    1.19 @@ -406,6 +407,7 @@
    1.20      "refute"
    1.21      "remove_thy"
    1.22      "sledgehammer"
    1.23 +    "smt_status"
    1.24      "term"
    1.25      "thm"
    1.26      "thm_deps"