Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper protocol init (amending 065dcd80293e);
authorwenzelm
Sat, 15 Aug 2020 13:51:55 +0200
changeset 72158 cafe00f2161e
parent 72157 d1ca82e27cbc
child 72159 40b5ee5889d2
proper protocol init (amending 065dcd80293e);
src/Pure/System/isabelle_process.ML file | annotate | diff | comparison | revisions 
--- 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) ();
isabelle