src/Pure/Admin/build_history.scala

   private val default_heap = 1500
   private val default_isabelle_identifier = "build_history"
 
   def build_history(
     hg: Mercurial.Repository,
-    progress: Progress = Ignore_Progress,
+    progress: Progress = No_Progress,
     rev: String = default_rev,
     isabelle_identifier: String = default_isabelle_identifier,
     components_base: String = "",
     fresh: Boolean = false,
     nonfree: Boolean = false,

     isabelle_repos_self: Path,
     isabelle_repos_other: Path,
     isabelle_repos_source: String = "http://isabelle.in.tum.de/repos/isabelle",
     self_update: Boolean = false,
     push_isabelle_home: Boolean = false,
-    progress: Progress = Ignore_Progress,
+    progress: Progress = No_Progress,
     options: String = "",
     args: String = ""): (List[(String, Bytes)], Process_Result) =
   {
     val isabelle_admin = isabelle_repos_self + Path.explode("Admin")