src/Pure/Isar/attrib.ML
changeset 42289 dafae095d733
parent 42284 326f57825e1a
child 42358 b47d41d9f4b5
     1.1 --- a/src/Pure/Isar/attrib.ML	Fri Apr 08 15:02:11 2011 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Fri Apr 08 15:48:14 2011 +0200
     1.3 @@ -382,14 +382,14 @@
     1.4      val config = coerce config_value;
     1.5    in (config, register_config config_value) end;
     1.6  
     1.7 -val config_bool   = declare_config Config.Bool Config.bool false;
     1.8 -val config_int    = declare_config Config.Int Config.int false;
     1.9 -val config_real   = declare_config Config.Real Config.real false;
    1.10 +val config_bool = declare_config Config.Bool Config.bool false;
    1.11 +val config_int = declare_config Config.Int Config.int false;
    1.12 +val config_real = declare_config Config.Real Config.real false;
    1.13  val config_string = declare_config Config.String Config.string false;
    1.14  
    1.15 -val config_bool_global   = declare_config Config.Bool Config.bool true;
    1.16 -val config_int_global    = declare_config Config.Int Config.int true;
    1.17 -val config_real_global   = declare_config Config.Real Config.real true;
    1.18 +val config_bool_global = declare_config Config.Bool Config.bool true;
    1.19 +val config_int_global = declare_config Config.Int Config.int true;
    1.20 +val config_real_global = declare_config Config.Real Config.real true;
    1.21  val config_string_global = declare_config Config.String Config.string true;
    1.22  
    1.23  end;
    1.24 @@ -401,11 +401,11 @@
    1.25   (register_config Ast.trace_raw #>
    1.26    register_config Ast.stat_raw #>
    1.27    register_config Syntax.positions_raw #>
    1.28 -  register_config Syntax.show_brackets_raw #>
    1.29 -  register_config Syntax.show_sorts_raw #>
    1.30 -  register_config Syntax.show_types_raw #>
    1.31 -  register_config Syntax.show_structs_raw #>
    1.32 -  register_config Syntax.show_question_marks_raw #>
    1.33 +  register_config Printer.show_brackets_raw #>
    1.34 +  register_config Printer.show_sorts_raw #>
    1.35 +  register_config Printer.show_types_raw #>
    1.36 +  register_config Printer.show_structs_raw #>
    1.37 +  register_config Printer.show_question_marks_raw #>
    1.38    register_config Syntax.ambiguity_level_raw #>
    1.39    register_config Syntax_Trans.eta_contract_raw #>
    1.40    register_config ML_Context.trace_raw #>