proper attribute;
authorwenzelm
Fri Jul 17 16:03:11 2015 +0200 (2015-07-17)
changeset 6074337d624a8b128
parent 60741 6349a28af772
child 60744 4eba53a0ac3d
proper attribute;
src/Pure/Isar/attrib.ML
     1.1 --- a/src/Pure/Isar/attrib.ML	Thu Jul 16 18:36:16 2015 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Fri Jul 17 16:03:11 2015 +0200
     1.3 @@ -527,6 +527,7 @@
     1.4    register_config Name_Space.names_unique_raw #>
     1.5    register_config ML_Options.source_trace_raw #>
     1.6    register_config ML_Options.exception_trace_raw #>
     1.7 +  register_config ML_Options.debugger_raw #>
     1.8    register_config ML_Options.print_depth_raw #>
     1.9    register_config Proof_Context.show_abbrevs_raw #>
    1.10    register_config Goal_Display.goals_limit_raw #>