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