| changeset 62498 | 5dfcc9697f29 |
| parent 61851 | ccf2df82b2d3 |
| child 62795 | 063d2f23cdf6 |
--- a/src/Pure/Isar/attrib.ML Wed Mar 02 10:02:12 2016 +0100 +++ b/src/Pure/Isar/attrib.ML Wed Mar 02 19:43:31 2016 +0100 @@ -519,6 +519,7 @@ register_config Name_Space.names_unique_raw #> register_config ML_Options.source_trace_raw #> register_config ML_Options.exception_trace_raw #> + register_config ML_Options.exception_debugger_raw #> register_config ML_Options.debugger_raw #> register_config ML_Options.print_depth_raw #> register_config Proof_Context.show_abbrevs_raw #>