src/Pure/Tools/build.scala
changeset 59319 677615cba30d
parent 59136 c2b23cb8a677
child 59366 e94df7f6b608
     1.1 --- a/src/Pure/Tools/build.scala	Wed Jan 07 18:09:11 2015 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Thu Jan 08 20:56:39 2015 +0100
     1.3 @@ -166,7 +166,7 @@
     1.4        session_groups: List[String], sessions: List[String]): (List[String], Session_Tree) =
     1.5      {
     1.6        val bad_sessions = sessions.filterNot(isDefinedAt(_))
     1.7 -      if (!bad_sessions.isEmpty) error("Undefined session(s): " + commas_quote(bad_sessions))
     1.8 +      if (bad_sessions.nonEmpty) error("Undefined session(s): " + commas_quote(bad_sessions))
     1.9  
    1.10        val pre_selected =
    1.11        {
    1.12 @@ -805,7 +805,7 @@
    1.13        for (name <- full_tree.graph.all_succs(selected)) {
    1.14          val files =
    1.15            List(Path.basic(name), log(name), log_gz(name)).map(output_dir + _).filter(_.is_file)
    1.16 -        if (!files.isEmpty) progress.echo("Cleaning " + name + " ...")
    1.17 +        if (files.nonEmpty) progress.echo("Cleaning " + name + " ...")
    1.18          if (!files.forall(p => p.file.delete)) progress.echo(name + " FAILED to delete")
    1.19        }
    1.20      }
    1.21 @@ -944,7 +944,7 @@
    1.22        for ((chapter, entries) <- browser_chapters)
    1.23          Present.update_chapter_index(browser_info, chapter, entries)
    1.24  
    1.25 -      if (!browser_chapters.isEmpty && !(browser_info + Path.explode("index.html")).is_file)
    1.26 +      if (browser_chapters.nonEmpty && !(browser_info + Path.explode("index.html")).is_file)
    1.27        {
    1.28          Isabelle_System.mkdirs(browser_info)
    1.29          File.copy(Path.explode("~~/lib/logo/isabelle.gif"),