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