1.1 --- a/etc/isar-keywords.el Fri Jul 12 16:19:05 2013 +0200
1.2 +++ b/etc/isar-keywords.el Fri Jul 12 16:19:43 2013 +0200
1.3 @@ -1,6 +1,6 @@
1.4 ;;
1.5 ;; Keyword classification tables for Isabelle/Isar.
1.6 -;; Generated from HOL + HOL-BNF + HOL-BNF-LFP + HOL-Bali + HOL-Boogie + HOL-Decision_Procs + HOL-Import + HOL-Library + HOL-Mutabelle + HOL-Nominal + HOL-Proofs + HOL-SPARK + HOL-Statespace + HOL-TPTP + HOL-ex + HOLCF + Pure.
1.7 +;; Generated from HOL + HOL-BNF + HOL-BNF-LFP + HOL-Bali + HOL-Boogie + HOL-Decision_Procs + HOL-Imperative_HOL + HOL-Import + HOL-Library + HOL-Mutabelle + HOL-Nominal + HOL-Proofs + HOL-Proofs-Extraction + HOL-SPARK + HOL-Statespace + HOL-TPTP + HOL-ex + HOLCF + Pure.
1.8 ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
1.9 ;;
1.10
1.11 @@ -21,6 +21,7 @@
1.12 "ProofGeneral\\.restart"
1.13 "ProofGeneral\\.undo"
1.14 "abbreviation"
1.15 + "adhoc_overloading"
1.16 "also"
1.17 "apply"
1.18 "apply_end"
1.19 @@ -144,6 +145,7 @@
1.20 "next"
1.21 "nitpick"
1.22 "nitpick_params"
1.23 + "no_adhoc_overloading"
1.24 "no_notation"
1.25 "no_syntax"
1.26 "no_translations"
1.27 @@ -477,6 +479,7 @@
1.28 '("ML"
1.29 "ML_file"
1.30 "abbreviation"
1.31 + "adhoc_overloading"
1.32 "arities"
1.33 "atom_decl"
1.34 "attribute_setup"
1.35 @@ -539,6 +542,7 @@
1.36 "locale"
1.37 "method_setup"
1.38 "nitpick_params"
1.39 + "no_adhoc_overloading"
1.40 "no_notation"
1.41 "no_syntax"
1.42 "no_translations"