src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Thu Aug 27 15:16:56 2020 +0200
+++ b/src/Pure/PIDE/protocol.ML	Thu Aug 27 17:05:59 2020 +0200
@@ -13,7 +13,9 @@
 
 val _ =
   Isabelle_Process.protocol_command "Prover.stop"
-    (fn [rc] => raise Isabelle_Process.STOP (Value.parse_int rc));
+    (fn rc :: msgs =>
+      (List.app Output.system_message msgs;
+       raise Isabelle_Process.STOP (Value.parse_int rc)));
 
 val _ =
   Isabelle_Process.protocol_command "Prover.options"