src/Pure/Tools/server.scala
changeset 68410 4e27f5c361d2
parent 67941 49a34b2fa788
child 68530 a110dcc9a4c7
     1.1 --- a/src/Pure/Tools/server.scala	Sat Jun 09 13:19:57 2018 +0200
     1.2 +++ b/src/Pure/Tools/server.scala	Sat Jun 09 21:52:16 2018 +0200
     1.3 @@ -269,7 +269,7 @@
     1.4      override def echo_warning(msg: String): Unit = context.warning(msg, more:_*)
     1.5      override def echo_error_message(msg: String): Unit = context.error_message(msg, more:_*)
     1.6      override def theory(session: String, theory: String): Unit =
     1.7 -      context.writeln(session + ": theory " + theory,
     1.8 +      context.writeln(Progress.theory_message(session, theory),
     1.9          (List("session" -> session, "theory" -> theory) ::: more.toList):_*)
    1.10  
    1.11      @volatile private var is_stopped = false