| changeset 68540 | 000a0e062529 |
| parent 67671 | 857da80611ab |
| child 68558 | 7aae213d9e69 |
--- a/src/Pure/Isar/attrib.ML Fri Jun 29 14:19:52 2018 +0200 +++ b/src/Pure/Isar/attrib.ML Fri Jun 29 15:54:41 2018 +0200 @@ -591,6 +591,7 @@ register_config ML_Options.exception_trace_raw #> register_config ML_Options.exception_debugger_raw #> register_config ML_Options.debugger_raw #> + register_config Global_Theory.pending_shyps_raw #> register_config Proof_Context.show_abbrevs_raw #> register_config Goal_Display.goals_limit_raw #> register_config Goal_Display.show_main_goal_raw #>