1.1 --- a/src/Pure/System/isabelle_system.scala	Mon May 13 20:30:49 2013 +0200
     1.2 +++ b/src/Pure/System/isabelle_system.scala	Mon May 13 20:35:04 2013 +0200
     1.3 @@ -369,6 +369,7 @@
     1.4        val limited = new Object {
     1.5          private var count = 0L
     1.6          def apply(progress: String => Unit)(line: String): Unit = synchronized {
     1.7 +          progress(line)
     1.8            count = count + line.length + 1
     1.9            progress_limit match {
    1.10              case Some(limit) if count > limit => proc.terminate