tuned signature;
authorwenzelm
Mon Jan 16 21:53:44 2017 +0100 (2017-01-16)
changeset 649098007f10195af
parent 64908 f94ad67a0f6e
child 64910 6108dddad9f0
tuned signature;
src/Pure/Admin/build_doc.scala
src/Pure/Admin/build_history.scala
src/Pure/Admin/build_polyml.scala
src/Pure/Admin/build_release.scala
src/Pure/Admin/isabelle_cronjob.scala
src/Pure/System/progress.scala
src/Pure/Tools/build.scala
src/Tools/jEdit/src/jedit_sessions.scala
     1.1 --- a/src/Pure/Admin/build_doc.scala	Mon Jan 16 21:33:09 2017 +0100
     1.2 +++ b/src/Pure/Admin/build_doc.scala	Mon Jan 16 21:53:44 2017 +0100
     1.3 @@ -16,7 +16,7 @@
     1.4  
     1.5    def build_doc(
     1.6      options: Options,
     1.7 -    progress: Progress = Ignore_Progress,
     1.8 +    progress: Progress = No_Progress,
     1.9      all_docs: Boolean = false,
    1.10      max_jobs: Int = 1,
    1.11      system_mode: Boolean = false,
     2.1 --- a/src/Pure/Admin/build_history.scala	Mon Jan 16 21:33:09 2017 +0100
     2.2 +++ b/src/Pure/Admin/build_history.scala	Mon Jan 16 21:53:44 2017 +0100
     2.3 @@ -102,7 +102,7 @@
     2.4  
     2.5    def build_history(
     2.6      hg: Mercurial.Repository,
     2.7 -    progress: Progress = Ignore_Progress,
     2.8 +    progress: Progress = No_Progress,
     2.9      rev: String = default_rev,
    2.10      isabelle_identifier: String = default_isabelle_identifier,
    2.11      components_base: String = "",
    2.12 @@ -372,7 +372,7 @@
    2.13      isabelle_repos_source: String = "http://isabelle.in.tum.de/repos/isabelle",
    2.14      self_update: Boolean = false,
    2.15      push_isabelle_home: Boolean = false,
    2.16 -    progress: Progress = Ignore_Progress,
    2.17 +    progress: Progress = No_Progress,
    2.18      options: String = "",
    2.19      args: String = ""): (List[(String, Bytes)], Process_Result) =
    2.20    {
     3.1 --- a/src/Pure/Admin/build_polyml.scala	Mon Jan 16 21:33:09 2017 +0100
     3.2 +++ b/src/Pure/Admin/build_polyml.scala	Mon Jan 16 21:53:44 2017 +0100
     3.3 @@ -63,7 +63,7 @@
     3.4    def build_polyml(
     3.5      root: Path,
     3.6      sha1_root: Option[Path] = None,
     3.7 -    progress: Progress = Ignore_Progress,
     3.8 +    progress: Progress = No_Progress,
     3.9      arch_64: Boolean = false,
    3.10      options: List[String] = Nil,
    3.11      msys_root: Option[Path] = None,
     4.1 --- a/src/Pure/Admin/build_release.scala	Mon Jan 16 21:33:09 2017 +0100
     4.2 +++ b/src/Pure/Admin/build_release.scala	Mon Jan 16 21:53:44 2017 +0100
     4.3 @@ -37,7 +37,7 @@
     4.4    private val default_platform_families = List("linux", "windows", "windows64", "macos")
     4.5  
     4.6    def build_release(base_dir: Path,
     4.7 -    progress: Progress = Ignore_Progress,
     4.8 +    progress: Progress = No_Progress,
     4.9      rev: String = "",
    4.10      afp_rev: String = "",
    4.11      official_release: Boolean = false,
     5.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Mon Jan 16 21:33:09 2017 +0100
     5.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon Jan 16 21:53:44 2017 +0100
     5.3 @@ -318,7 +318,7 @@
     5.4        val more_args = getopts(args)
     5.5        if (more_args.nonEmpty) getopts.usage()
     5.6  
     5.7 -      val progress = if (verbose) new Console_Progress() else Ignore_Progress
     5.8 +      val progress = if (verbose) new Console_Progress() else No_Progress
     5.9  
    5.10        if (force) cronjob(progress, exclude_task)
    5.11        else error("Need to apply force to do anything")
     6.1 --- a/src/Pure/System/progress.scala	Mon Jan 16 21:33:09 2017 +0100
     6.2 +++ b/src/Pure/System/progress.scala	Mon Jan 16 21:53:44 2017 +0100
     6.3 @@ -15,6 +15,7 @@
     6.4    def echo(msg: String) {}
     6.5    def echo_if(cond: Boolean, msg: String) { if (cond) echo(msg) }
     6.6    def theory(session: String, theory: String) {}
     6.7 +
     6.8    def stopped: Boolean = false
     6.9    override def toString: String = if (stopped) "Progress(stopped)" else "Progress"
    6.10  
    6.11 @@ -30,7 +31,7 @@
    6.12    }
    6.13  }
    6.14  
    6.15 -object Ignore_Progress extends Progress
    6.16 +object No_Progress extends Progress
    6.17  
    6.18  class Console_Progress(verbose: Boolean = false, stderr: Boolean = false) extends Progress
    6.19  {
     7.1 --- a/src/Pure/Tools/build.scala	Mon Jan 16 21:33:09 2017 +0100
     7.2 +++ b/src/Pure/Tools/build.scala	Mon Jan 16 21:53:44 2017 +0100
     7.3 @@ -103,7 +103,7 @@
     7.4    }
     7.5  
     7.6    def dependencies(
     7.7 -      progress: Progress = Ignore_Progress,
     7.8 +      progress: Progress = No_Progress,
     7.9        inlined_files: Boolean = false,
    7.10        verbose: Boolean = false,
    7.11        list_files: Boolean = false,
    7.12 @@ -387,7 +387,7 @@
    7.13  
    7.14    def build(
    7.15      options: Options,
    7.16 -    progress: Progress = Ignore_Progress,
    7.17 +    progress: Progress = No_Progress,
    7.18      build_heap: Boolean = false,
    7.19      clean_build: Boolean = false,
    7.20      dirs: List[Path] = Nil,
    7.21 @@ -427,7 +427,7 @@
    7.22  
    7.23    def build_selection(
    7.24      options: Options,
    7.25 -    progress: Progress = Ignore_Progress,
    7.26 +    progress: Progress = No_Progress,
    7.27      build_heap: Boolean = false,
    7.28      clean_build: Boolean = false,
    7.29      dirs: List[Path] = Nil,
     8.1 --- a/src/Tools/jEdit/src/jedit_sessions.scala	Mon Jan 16 21:33:09 2017 +0100
     8.2 +++ b/src/Tools/jEdit/src/jedit_sessions.scala	Mon Jan 16 21:53:44 2017 +0100
     8.3 @@ -50,7 +50,7 @@
     8.4  
     8.5    def session_build_mode(): String = Isabelle_System.getenv("JEDIT_BUILD_MODE")
     8.6  
     8.7 -  def session_build(progress: Progress = Ignore_Progress, no_build: Boolean = false): Int =
     8.8 +  def session_build(progress: Progress = No_Progress, no_build: Boolean = false): Int =
     8.9    {
    8.10      val mode = session_build_mode()
    8.11