| changeset 46126 | bab00660539d |
| parent 45619 | 76c5f277b234 |
| child 46506 | c7faa011bfa7 |
--- a/src/Pure/Isar/attrib.ML Thu Jan 05 18:18:39 2012 +0100 +++ b/src/Pure/Isar/attrib.ML Thu Jan 05 20:26:01 2012 +0100 @@ -498,7 +498,6 @@ val _ = Context.>> (Context.map_theory (register_config Ast.trace_raw #> register_config Ast.stats_raw #> - register_config Syntax.positions_raw #> register_config Printer.show_brackets_raw #> register_config Printer.show_sorts_raw #> register_config Printer.show_types_raw #>