| changeset 76068 | 319d08115b13 |
| parent 76067 | e39c1da9d904 |
| child 76071 | 8e1b2e1a29b7 |
--- a/src/Pure/Isar/proof_display.ML Mon Sep 05 21:59:05 2022 +0200 +++ b/src/Pure/Isar/proof_display.ML Mon Sep 05 22:47:09 2022 +0200 @@ -248,7 +248,7 @@ (* goal instantiation *) -val show_goal_inst = Attrib.setup_config_bool \<^binding>\<open>show_goal_inst\<close> (K false); +val show_goal_inst = Attrib.setup_option_bool ("show_goal_inst", \<^here>); fun pretty_goal_inst ctxt propss goal = let