--- 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)