| changeset 52059 | 2f970c7f722b |
| parent 52040 | 852939d19216 |
| child 52060 | 179236c82c2a |
--- a/src/Pure/Isar/attrib.ML Fri May 17 20:30:04 2013 +0200 +++ b/src/Pure/Isar/attrib.ML Fri May 17 20:41:45 2013 +0200 @@ -553,7 +553,8 @@ (* theory setup *) val _ = Context.>> (Context.map_theory - (register_config Ast.trace_raw #> + (register_config quick_and_dirty_raw #> + register_config Ast.trace_raw #> register_config Ast.stats_raw #> register_config Printer.show_brackets_raw #> register_config Printer.show_sorts_raw #>