src/Pure/Isar/attrib.ML
changeset 42056 160a630b2c7e
parent 41377 390c53904220
child 42224 578a51fae383
     1.1 --- a/src/Pure/Isar/attrib.ML	Tue Mar 22 17:51:15 2011 +0100
     1.2 +++ b/src/Pure/Isar/attrib.ML	Tue Mar 22 18:03:28 2011 +0100
     1.3 @@ -400,6 +400,7 @@
     1.4  val _ = Context.>> (Context.map_theory
     1.5   (register_config Syntax.ast_trace_raw #>
     1.6    register_config Syntax.ast_stat_raw #>
     1.7 +  register_config Syntax.positions_raw #>
     1.8    register_config Syntax.show_brackets_raw #>
     1.9    register_config Syntax.show_sorts_raw #>
    1.10    register_config Syntax.show_types_raw #>