1.1 --- a/etc/isar-keywords.el	Sat Nov 14 18:36:05 2009 +0100
     1.2 +++ b/etc/isar-keywords.el	Sat Nov 14 18:45:24 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-Nominal + HOL-Statespace.
     1.7 +;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Boogie + HOL-Nominal + HOL-Statespace.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10  
    1.11 @@ -40,6 +40,10 @@
    1.12      "axiomatization"
    1.13      "axioms"
    1.14      "back"
    1.15 +    "boogie_end"
    1.16 +    "boogie_open"
    1.17 +    "boogie_status"
    1.18 +    "boogie_vc"
    1.19      "by"
    1.20      "cannot_undo"
    1.21      "case"
    1.22 @@ -343,6 +347,7 @@
    1.23      "atp_kill"
    1.24      "atp_messages"
    1.25      "atp_minimize"
    1.26 +    "boogie_status"
    1.27      "cd"
    1.28      "class_deps"
    1.29      "code_deps"
    1.30 @@ -434,6 +439,8 @@
    1.31      "axclass"
    1.32      "axiomatization"
    1.33      "axioms"
    1.34 +    "boogie_end"
    1.35 +    "boogie_open"
    1.36      "class"
    1.37      "classes"
    1.38      "classrel"
    1.39 @@ -520,6 +527,7 @@
    1.40  
    1.41  (defconst isar-keywords-theory-goal
    1.42    '("ax_specification"
    1.43 +    "boogie_vc"
    1.44      "code_pred"
    1.45      "corollary"
    1.46      "cpodef"