--- a/src/Pure/Isar/attrib.ML Fri Sep 03 22:36:16 2010 +0200
+++ b/src/Pure/Isar/attrib.ML Fri Sep 03 22:57:21 2010 +0200
@@ -392,7 +392,8 @@
(* theory setup *)
val _ = Context.>> (Context.map_theory
- (register_config Syntax.show_question_marks_value #>
+ (register_config Syntax.show_structs_value #>
+ register_config Syntax.show_question_marks_value #>
register_config Syntax.ambiguity_level_value #>
register_config Goal_Display.goals_limit_value #>
register_config Goal_Display.show_main_goal_value #>