--- a/src/Pure/Isar/attrib.ML Tue Dec 21 21:05:50 2010 +0100
+++ b/src/Pure/Isar/attrib.ML Tue Dec 21 21:21:21 2010 +0100
@@ -398,7 +398,9 @@
(* theory setup *)
val _ = Context.>> (Context.map_theory
- (register_config Syntax.show_brackets_raw #>
+ (register_config Syntax.ast_trace_raw #>
+ register_config Syntax.ast_stat_raw #>
+ register_config Syntax.show_brackets_raw #>
register_config Syntax.show_sorts_raw #>
register_config Syntax.show_types_raw #>
register_config Syntax.show_structs_raw #>