1.1 --- a/etc/isar-keywords.el Fri Oct 03 19:35:14 2008 +0200
1.2 +++ b/etc/isar-keywords.el Fri Oct 03 19:35:15 2008 +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-Plain + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
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 ;; $Id$
1.11 @@ -30,6 +30,9 @@
1.12 "arities"
1.13 "assume"
1.14 "atom_decl"
1.15 + "atp_info"
1.16 + "atp_kill"
1.17 + "atp_setup"
1.18 "automaton"
1.19 "ax_specification"
1.20 "axclass"
1.21 @@ -152,6 +155,7 @@
1.22 "print_abbrevs"
1.23 "print_antiquotations"
1.24 "print_ast_translation"
1.25 + "print_atps"
1.26 "print_attributes"
1.27 "print_binds"
1.28 "print_cases"
1.29 @@ -325,6 +329,8 @@
1.30 (defconst isar-keywords-diag
1.31 '("ML_command"
1.32 "ML_val"
1.33 + "atp_info"
1.34 + "atp_kill"
1.35 "cd"
1.36 "class_deps"
1.37 "code_deps"
1.38 @@ -345,6 +351,7 @@
1.39 "prf"
1.40 "print_abbrevs"
1.41 "print_antiquotations"
1.42 + "print_atps"
1.43 "print_attributes"
1.44 "print_binds"
1.45 "print_cases"
1.46 @@ -406,6 +413,7 @@
1.47 "abbreviation"
1.48 "arities"
1.49 "atom_decl"
1.50 + "atp_setup"
1.51 "automaton"
1.52 "axclass"
1.53 "axiomatization"