src/Pure/Admin/build_release.scala

 
 
     /* make distribution */
 
     if (release.isabelle_archive.is_file) {
-      progress.echo("### Release archive already exists: " + release.isabelle_archive)
+      progress.echo_warning("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 + " ...")
+      progress.echo_warning("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")
 
 
-      progress.echo("### Retrieving Mercurial repository version " + release.ident)
+      progress.echo_warning("Retrieving Mercurial repository version " + release.ident)
 
       hg.archive(release.isabelle_dir.expand.implode, rev = release.ident, options = "--type files")
 
       for (name <- List(".hg_archival.txt", ".hgtags", ".hgignore", "README_REPOSITORY")) {
         (release.isabelle_dir + Path.explode(name)).file.delete
       }
 
 
-      progress.echo("### Preparing distribution " + quote(release.dist_name))
+      progress.echo_warning("Preparing distribution " + quote(release.dist_name))
 
       patch_release(release, proper_release_name.isDefined && official_release)
 
       if (proper_release_name.isEmpty) make_announce(release)
 

       }
 
       other_isabelle.cleanup()
 
 
-      progress.echo("### Creating distribution archive " + release.isabelle_archive)
+      progress.echo_warning("Creating distribution archive " + release.isabelle_archive)
 
       def execute_dist_name(script: String): Unit =
         Isabelle_System.bash(script, cwd = release.dist_dir.file,
           env = Isabelle_System.settings() + ("DIST_NAME" -> release.dist_name)).check
 

     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)
+        progress.echo_warning("Application bundle already exists: " + bundle_archive)
       else {
         progress.echo(
           "\nApplication bundle for " + bundle_info.platform_family + ": " + bundle_archive)
         progress.bash(
           "isabelle makedist_bundle " + File.bash_path(release.isabelle_archive) +

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