src/Pure/System/isabelle_process.scala
changeset 67178 70576478bda9
parent 67052 caf87d4b9b61
child 68169 395432e7516e
     1.1 --- a/src/Pure/System/isabelle_process.scala	Sun Dec 10 18:43:08 2017 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Sun Dec 10 20:29:00 2017 +0100
     1.3 @@ -41,7 +41,7 @@
     1.4      modes: List[String] = Nil,
     1.5      cwd: JFile = null,
     1.6      env: Map[String, String] = Isabelle_System.settings(),
     1.7 -    receiver: Prover.Receiver = Console.println(_),
     1.8 +    receiver: Prover.Receiver = (msg: Prover.Message) => Output.writeln(msg.toString, stdout = true),
     1.9      xml_cache: XML.Cache = new XML.Cache(),
    1.10      sessions: Option[Sessions.Structure] = None,
    1.11      store: Sessions.Store = Sessions.store()): Prover =