1.1 --- a/Admin/update-keywords	Wed Nov 25 15:04:20 2009 +0100
     1.2 +++ b/Admin/update-keywords	Wed Nov 25 15:21:41 2009 +0100
     1.3 @@ -12,7 +12,8 @@
     1.4  
     1.5  isabelle keywords \
     1.6    "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \
     1.7 -  "$LOG/IOA.gz" "$LOG/HOL-Boogie.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz"
     1.8 +  "$LOG/IOA.gz" "$LOG/HOL-Boogie.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-SMT.gz" \
     1.9 +  "$LOG/HOL-Statespace.gz"
    1.10  
    1.11  isabelle keywords -k ZF \
    1.12    "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"

     2.1 --- a/etc/isar-keywords.el	Wed Nov 25 15:04:20 2009 +0100
     2.2 +++ b/etc/isar-keywords.el	Wed Nov 25 15:21:41 2009 +0100
     2.3 @@ -1,6 +1,6 @@
     2.4  ;;
     2.5  ;; Keyword classification tables for Isabelle/Isar.
     2.6 -;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Boogie + HOL-Nominal + HOL-Statespace.
     2.7 +;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Boogie + HOL-Nominal + HOL-SMT + HOL-Statespace.
     2.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     2.9  ;;
    2.10  
    2.11 @@ -218,6 +218,7 @@
    2.12      "show"
    2.13      "simproc_setup"
    2.14      "sledgehammer"
    2.15 +    "smt_status"
    2.16      "sorry"
    2.17      "specification"
    2.18      "statespace"
    2.19 @@ -406,6 +407,7 @@
    2.20      "refute"
    2.21      "remove_thy"
    2.22      "sledgehammer"
    2.23 +    "smt_status"
    2.24      "term"
    2.25      "thm"
    2.26      "thm_deps"