src/Pure/Isar/attrib.ML
changeset 39125 f45d332a90e3
parent 39117 399977145846
child 39126 ee117c5b3b75
     1.1 --- a/src/Pure/Isar/attrib.ML	Fri Sep 03 20:39:38 2010 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Fri Sep 03 21:13:53 2010 +0200
     1.3 @@ -393,6 +393,8 @@
     1.4  
     1.5  val _ = Context.>> (Context.map_theory
     1.6   (register_config Syntax.show_question_marks_value #>
     1.7 +  register_config Goal_Display.goals_limit_value #>
     1.8 +  register_config Goal_Display.show_main_goal_value #>
     1.9    register_config Goal_Display.show_consts_value #>
    1.10    register_config Unify.trace_bound_value #>
    1.11    register_config Unify.search_bound_value #>