src/Pure/Isar/attrib.ML
changeset 68540 000a0e062529
parent 67673 857da80611ab
child 68559 7aae213d9e69
     1.1 --- a/src/Pure/Isar/attrib.ML	Fri Jun 29 14:19:52 2018 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Fri Jun 29 15:54:41 2018 +0200
     1.3 @@ -591,6 +591,7 @@
     1.4    register_config ML_Options.exception_trace_raw #>
     1.5    register_config ML_Options.exception_debugger_raw #>
     1.6    register_config ML_Options.debugger_raw #>
     1.7 +  register_config Global_Theory.pending_shyps_raw #>
     1.8    register_config Proof_Context.show_abbrevs_raw #>
     1.9    register_config Goal_Display.goals_limit_raw #>
    1.10    register_config Goal_Display.show_main_goal_raw #>