--- a/src/Pure/Isar/proof_display.ML Fri Aug 08 21:28:22 2025 +0200
+++ b/src/Pure/Isar/proof_display.ML Sat Aug 09 20:22:19 2025 +0200
@@ -301,7 +301,7 @@
Attrib.setup_config_bool \<^binding>\<open>show_results\<close>
(fn context =>
Config.get_generic context interactive orelse
- Options.default_bool \<^system_option>\<open>show_states\<close>);
+ Options.default_bool \<^system_option>\<open>show_results\<close>);
fun no_print int ctxt = not (Config.get (Config.put interactive int ctxt) show_results);