src/Pure/Tools/build.scala
changeset 56873 f7c793b7fe7d
parent 56871 d06ff36b4fa7
child 56890 7f120d227ca5
     1.1 --- a/src/Pure/Tools/build.scala	Mon May 05 22:14:56 2014 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Tue May 06 11:16:13 2014 +0200
     1.3 @@ -26,11 +26,12 @@
     1.4      def echo(msg: String) {}
     1.5      def theory(session: String, theory: String) {}
     1.6      def stopped: Boolean = false
     1.7 +    override def toString: String = if (stopped) "Progress(stopped)" else "Progress"
     1.8    }
     1.9  
    1.10    object Ignore_Progress extends Progress
    1.11  
    1.12 -  class Console_Progress(verbose: Boolean) extends Progress
    1.13 +  class Console_Progress(verbose: Boolean = false) extends Progress
    1.14    {
    1.15      override def echo(msg: String) { Console.println(msg) }
    1.16      override def theory(session: String, theory: String): Unit =