src/Pure/System/isabelle_process.ML
changeset 45158 db4bf4fb5492
parent 45057 86c9b73158a8
child 45666 d83797ef0d2d
     1.1 --- a/src/Pure/System/isabelle_process.ML	Sun Oct 16 21:49:47 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Mon Oct 17 11:24:22 2011 +0200
     1.3 @@ -10,9 +10,9 @@
     1.4    .. stdin/stdout/stderr freely available (raw ML loop)
     1.5    .. protocol thread initialization
     1.6    ... rendezvous on system channel
     1.7 -  ... out_fifo INIT(pid): channels ready
     1.8 -  ... out_fifo STATUS(keywords)
     1.9 -  ... out_fifo READY: main loop ready
    1.10 +  ... message INIT(pid): channels ready
    1.11 +  ... message STATUS(keywords)
    1.12 +  ... message READY: main loop ready
    1.13  *)
    1.14  
    1.15  signature ISABELLE_PROCESS =