src/Pure/Admin/build_release.scala

 
 
     /* make distribution */
 
     if (release.isabelle_archive.is_file) {
-      progress.echo("### Release archive already exists: " + release.isabelle_archive.implode)
+      progress.echo("### Release archive already exists: " + release.isabelle_archive)
 
       val archive_ident =
         Isabelle_System.with_tmp_dir("build_release")(tmp_dir =>
           {
             val getsettings = Path.explode(release.dist_name + "/" + getsettings_file)

         error("Mismatch of release identification " + release.ident +
           " vs. archive " + archive_ident)
       }
     }
     else {
-      progress.echo("### Producing release archive " + release.isabelle_archive.implode + " ...")
+      progress.echo("### Producing release archive " + release.isabelle_archive + " ...")
 
       Isabelle_System.mkdirs(release.dist_dir)
 
       if (release.isabelle_dir.is_dir)
         error("Directory " + release.isabelle_dir + " already exists")

     for (bundle_info <- bundle_infos) {
       val bundle =
         (if (remote_mac.isEmpty) bundle_info.fallback else None) getOrElse bundle_info.main
       val bundle_archive = release.dist_dir + Path.explode(bundle)
       if (bundle_archive.is_file)
-        progress.echo("### Application bundle already exists: " + bundle_archive.implode)
+        progress.echo("### Application bundle already exists: " + bundle_archive)
       else {
         progress.echo(
-          "\nApplication bundle for " + bundle_info.platform_family + ": " + bundle_archive.implode)
+          "\nApplication bundle for " + bundle_info.platform_family + ": " + bundle_archive)
         progress.bash(
           "isabelle makedist_bundle " + File.bash_path(release.isabelle_archive) +
             " " + Bash.string(bundle_info.platform_family) +
             (if (remote_mac == "") "" else " " + Bash.string(remote_mac)),
           echo = true).check

 
     /* HTML library */
 
     if (build_library) {
       if (release.isabelle_library_archive.is_file) {
-        progress.echo(
-          "### Library archive already exists: " + release.isabelle_library_archive.implode)
+        progress.echo("### Library archive already exists: " + release.isabelle_library_archive)
       }
       else {
         Isabelle_System.with_tmp_dir("build_release")(tmp_dir =>
           {
             val name = release.dist_name