--- a/src/Pure/PIDE/batch_session.scala Sat Oct 08 14:09:55 2016 +0200
+++ b/src/Pure/PIDE/batch_session.scala Sat Oct 08 21:31:56 2016 +0200
@@ -23,7 +23,7 @@
val parent_session =
session_info.parent getOrElse error("No parent session for " + quote(session))
- if (!Build.build(options, new Console_Progress(verbose),
+ if (!Build.build(options, new Console_Progress(verbose = verbose),
verbose = verbose, build_heap = true,
dirs = dirs, sessions = List(parent_session)).ok)
new RuntimeException
@@ -35,7 +35,7 @@
new Resources(content.loaded_theories, content.known_theories, content.syntax)
}
- val progress = new Console_Progress(verbose)
+ val progress = new Console_Progress(verbose = verbose)
val prover_session = new Session(resources)
val batch_session = new Batch_Session(prover_session)
--- a/src/Pure/Tools/build.scala Sat Oct 08 14:09:55 2016 +0200
+++ b/src/Pure/Tools/build.scala Sat Oct 08 21:31:56 2016 +0200
@@ -750,7 +750,7 @@
val sessions = getopts(args)
- val progress = new Console_Progress(verbose)
+ val progress = new Console_Progress(verbose = verbose)
if (verbose) {
progress.echo(
--- a/src/Pure/Tools/ci_profile.scala Sat Oct 08 14:09:55 2016 +0200
+++ b/src/Pure/Tools/ci_profile.scala Sat Oct 08 21:31:56 2016 +0200
@@ -16,7 +16,7 @@
{
private def build(options: Options): (Build.Results, Time) =
{
- val progress = new Console_Progress(true)
+ val progress = new Console_Progress(verbose = true)
val start_time = Time.now()
val results = progress.interrupt_handler {
Build.build_selection(
--- a/src/Pure/Tools/ml_console.scala Sat Oct 08 14:09:55 2016 +0200
+++ b/src/Pure/Tools/ml_console.scala Sat Oct 08 21:31:56 2016 +0200
@@ -58,7 +58,7 @@
!Build.build(options = options, build_heap = true, no_build = true,
dirs = dirs, system_mode = system_mode, sessions = List(logic)).ok)
{
- val progress = new Console_Progress
+ val progress = new Console_Progress()
progress.echo("Build started for Isabelle/" + logic + " ...")
progress.interrupt_handler {
val res =