diff -r 02dd430d80c5 -r 07e86b942a84 src/Tools/VSCode/src/channel.scala
--- a/src/Tools/VSCode/src/channel.scala	Sun May 14 17:05:06 2017 +0200
+++ b/src/Tools/VSCode/src/channel.scala	Sun May 14 17:08:12 2017 +0200
@@ -110,6 +110,8 @@
   def make_progress(verbose: Boolean = false): Progress =
     new Progress {
       override def echo(msg: String): Unit = log_writeln(msg)
+      override def echo_warning(msg: String): Unit = log_warning(msg)
+      override def echo_error_message(msg: String): Unit = log_error_message(msg)
       override def theory(session: String, theory: String): Unit =
         if (verbose) echo(session + ": theory " + theory)
     }