changeset 39137 | ccb53edd59f0 |
parent 39134 | 917b4b6ba3d2 |
child 39163 | 4d701c0388c3 |
--- a/src/Pure/Isar/attrib.ML Sun Sep 05 22:23:48 2010 +0200 +++ b/src/Pure/Isar/attrib.ML Sun Sep 05 23:16:21 2010 +0200 @@ -392,7 +392,8 @@ (* theory setup *) val _ = Context.>> (Context.map_theory - (register_config Syntax.show_sorts_value #> + (register_config Syntax.show_brackets_value #> + register_config Syntax.show_sorts_value #> register_config Syntax.show_types_value #> register_config Syntax.show_structs_value #> register_config Syntax.show_question_marks_value #>