1.1 --- a/etc/isar-keywords.el Mon Oct 09 20:12:45 2006 +0200
1.2 +++ b/etc/isar-keywords.el Tue Oct 10 09:17:17 2006 +0200
1.3 @@ -43,15 +43,16 @@
1.4 "classes"
1.5 "classrel"
1.6 "clear_undos"
1.7 + "code_abstype"
1.8 "code_class"
1.9 "code_const"
1.10 "code_constname"
1.11 + "code_constsubst"
1.12 "code_gen"
1.13 "code_instance"
1.14 "code_instname"
1.15 "code_library"
1.16 "code_module"
1.17 - "code_simtype"
1.18 "code_type"
1.19 "code_typename"
1.20 "coinductive"
1.21 @@ -210,6 +211,7 @@
1.22 "types_code"
1.23 "ultimately"
1.24 "undo"
1.25 + "undo_end"
1.26 "undos_proof"
1.27 "unfolding"
1.28 "update_thy"
1.29 @@ -304,6 +306,7 @@
1.30 "quit"
1.31 "redo"
1.32 "undo"
1.33 + "undo_end"
1.34 "undos_proof"))
1.35
1.36 (defconst isar-keywords-diag
1.37 @@ -394,9 +397,11 @@
1.38 "class"
1.39 "classes"
1.40 "classrel"
1.41 + "code_abstype"
1.42 "code_class"
1.43 "code_const"
1.44 "code_constname"
1.45 + "code_constsubst"
1.46 "code_instance"
1.47 "code_instname"
1.48 "code_library"
1.49 @@ -462,7 +467,6 @@
1.50
1.51 (defconst isar-keywords-theory-goal
1.52 '("ax_specification"
1.53 - "code_simtype"
1.54 "corollary"
1.55 "cpodef"
1.56 "function"