| changeset 76064 | 28ddebb43d93 |
| parent 74561 | 8e6c973003c8 |
| child 76065 | 6dc5968b9a86 |
--- a/src/Pure/Isar/attrib.ML Mon Sep 05 20:22:13 2022 +0200 +++ b/src/Pure/Isar/attrib.ML Mon Sep 05 21:13:29 2022 +0200 @@ -601,6 +601,7 @@ register_config_bool Thm.show_consts #> register_config_bool Thm.show_hyps #> register_config_bool Thm.show_tags #> + register_config_bool Proof_Display.show_goal_inst #> register_config_bool Proof_Display.show_results #> register_config_bool Pattern.unify_trace_failure #> register_config_int Unify.trace_bound #>