Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature;
authorwenzelm
Wed, 14 Mar 2018 16:48:05 +0100
changeset 67856 ec9f1ec763a0
parent 67855 b9fae46f497b
child 67857 262d62a4c32b
tuned signature;
src/Tools/VSCode/src/channel.scala file | annotate | diff | comparison | revisions
src/Tools/VSCode/src/server.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/channel.scala	Wed Mar 14 15:08:46 2018 +0100
+++ b/src/Tools/VSCode/src/channel.scala	Wed Mar 14 16:48:05 2018 +0100
@@ -98,7 +98,7 @@
 
   /* progress */
 
-  def make_progress(verbose: Boolean = false): Progress =
+  def 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)
--- a/src/Tools/VSCode/src/server.scala	Wed Mar 14 15:08:46 2018 +0100
+++ b/src/Tools/VSCode/src/server.scala	Wed Mar 14 16:48:05 2018 +0100
@@ -258,7 +258,7 @@
           val start_msg = "Build started for Isabelle/" + session_name + " ..."
           val fail_msg = "Session build failed -- prover process remains inactive!"
 
-          val progress = channel.make_progress(verbose = true)
+          val progress = channel.progress(verbose = true)
           progress.echo(start_msg); channel.writeln(start_msg)
 
           if (!Build.build(options, progress = progress, build_heap = true,
isabelle