--- a/src/Pure/Isar/proof_display.ML Tue Sep 06 12:40:36 2022 +0200
+++ b/src/Pure/Isar/proof_display.ML Tue Sep 06 12:44:02 2022 +0200
@@ -328,7 +328,9 @@
val show_results =
Attrib.setup_config_bool \<^binding>\<open>show_results\<close>
- (fn context => Config.get_generic context interactive);
+ (fn context =>
+ Config.get_generic context interactive orelse
+ Options.default_bool \<^system_option>\<open>show_states\<close>);
fun no_print int ctxt = not (Config.get (Config.put interactive int ctxt) show_results);