| changeset 52470 | dedd7952a62c |
| parent 52060 | 179236c82c2a |
| child 52487 | 48bc24467008 |
--- a/src/Pure/Isar/attrib.ML Thu Jun 27 20:09:39 2013 +0200 +++ b/src/Pure/Isar/attrib.ML Thu Jun 27 23:17:26 2013 +0200 @@ -554,6 +554,7 @@ val _ = Context.>> (Context.map_theory (register_config quick_and_dirty_raw #> + register_config Proofterm.proofs_raw #> register_config Ast.trace_raw #> register_config Ast.stats_raw #> register_config Printer.show_brackets_raw #>