| changeset 56281 | 03c3d1a7c3b8 |
| parent 56279 | b4d874f6c6be |
| child 56303 | 4cc3f4db3447 |
--- a/src/Pure/Isar/attrib.ML Tue Mar 25 17:59:34 2014 +0100 +++ b/src/Pure/Isar/attrib.ML Tue Mar 25 19:03:02 2014 +0100 @@ -458,6 +458,7 @@ register_config Name_Space.names_short_raw #> register_config Name_Space.names_unique_raw #> register_config ML_Context.source_trace_raw #> + register_config ML_Compiler.print_depth_raw #> register_config Runtime.exception_trace_raw #> register_config Proof_Context.show_abbrevs_raw #> register_config Goal_Display.goals_limit_raw #>