| changeset 39050 | 600de0485859 |
| parent 38980 | af73cf0dc31f |
| child 39115 | a00da1674c1c |
--- a/src/Pure/Isar/attrib.ML Fri Sep 03 10:58:11 2010 +0200 +++ b/src/Pure/Isar/attrib.ML Fri Sep 03 11:21:58 2010 +0200 @@ -392,7 +392,8 @@ (* theory setup *) val _ = Context.>> (Context.map_theory - (register_config show_question_marks_value #> + (register_config Syntax.show_question_marks_value #> + register_config Goal_Display.show_consts_value #> register_config Unify.trace_bound_value #> register_config Unify.search_bound_value #> register_config Unify.trace_simp_value #>