src/Pure/System/isabelle_process.scala
changeset 56831 e3ccf0809d51
parent 56794 a7c5c35b7125
child 57915 448325de6e4f
     1.1 --- a/src/Pure/System/isabelle_process.scala	Fri May 02 19:51:40 2014 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Fri May 02 20:01:45 2014 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4  
     1.5  
     1.6  class Isabelle_Process(
     1.7 -  receiver: Prover.Message => Unit = System.out.println(_),
     1.8 +  receiver: Prover.Message => Unit = Console.println(_),
     1.9    prover_args: List[String] = Nil)
    1.10  {
    1.11    /* text and tree data */