src/Pure/System/isabelle_process.ML
changeset 46548 c54a4a22501c
parent 46121 30a69cd8a9a0
child 46774 38f113b052b1
     1.1 --- a/src/Pure/System/isabelle_process.ML	Mon Feb 20 12:37:17 2012 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Mon Feb 20 15:36:48 2012 +0100
     1.3 @@ -6,13 +6,13 @@
     1.4  
     1.5  Startup phases:
     1.6    . raw Posix process startup with uncontrolled output on stdout/stderr
     1.7 -  . stdout \002: ML running
     1.8 +  . stderr \002: ML running
     1.9    .. stdin/stdout/stderr freely available (raw ML loop)
    1.10    .. protocol thread initialization
    1.11    ... rendezvous on system channel
    1.12    ... message INIT(pid): channels ready
    1.13 -  ... message STATUS(keywords)
    1.14 -  ... message READY: main loop ready
    1.15 +  ... message RAW(keywords)
    1.16 +  ... message RAW(ready): main loop ready
    1.17  *)
    1.18  
    1.19  signature ISABELLE_PROCESS =
    1.20 @@ -165,7 +165,7 @@
    1.21  fun init rendezvous = ignore (Simple_Thread.fork false (fn () =>
    1.22    let
    1.23      val _ = OS.Process.sleep (seconds 0.5);  (*yield to raw ML toplevel*)
    1.24 -    val _ = Output.physical_stdout Symbol.STX;
    1.25 +    val _ = Output.physical_stderr Symbol.STX;
    1.26  
    1.27      val _ = quick_and_dirty := true;
    1.28      val _ = Goal.parallel_proofs := 0;