# HG changeset patch
# User wenzelm
# Date 1646863507 -3600
# Node ID 5055c0cdabc96f6fafbb17835ffe25b6c66a155e
# Parent  d192b0a8b62015669a55f56ecbc9fdc4cea268b9
tuned messages;

diff -r d192b0a8b620 -r 5055c0cdabc9 src/Tools/VSCode/src/build_vscodium.scala
--- a/src/Tools/VSCode/src/build_vscodium.scala	Wed Mar 09 22:21:35 2022 +0100
+++ b/src/Tools/VSCode/src/build_vscodium.scala	Wed Mar 09 23:05:07 2022 +0100
@@ -342,7 +342,7 @@
 
     /* patches */
 
-    progress.echo("* Building patches:")
+    progress.echo("\n* Building patches:")
 
     val patches_dir = Isabelle_System.new_directory(component_dir + Path.basic("patches"))
 
@@ -359,7 +359,7 @@
 
       Isabelle_System.with_tmp_dir("vscodium")(vscodium_dir =>
       {
-        progress.echo("* Building " + platform + ":")
+        progress.echo("\n* Building " + platform + ":")
 
         platform_info.get_vscodium_repository(vscodium_dir, progress = progress)