changeset 72158 | cafe00f2161e |
parent 72156 | 065dcd80293e |
child 72709 | cb9d5af781b4 |
--- a/src/Pure/System/isabelle_process.ML Sat Aug 15 13:45:25 2020 +0200 +++ b/src/Pure/System/isabelle_process.ML Sat Aug 15 13:51:55 2020 +0200 @@ -202,8 +202,8 @@ in protocol_loop () end; fun protocol () = - (ml_statistics (); - message Markup.initN [] [XML.Text (Session.welcome ())]; + (message Markup.initN [] [XML.Text (Session.welcome ())]; + ml_statistics (); protocol_loop ()); val result = Exn.capture (message_context protocol) ();