src/Tools/VSCode/src/build_vscode_extension.scala

--- a/src/Tools/VSCode/src/build_vscode_extension.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Tools/VSCode/src/build_vscode_extension.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -10,8 +10,7 @@
 import isabelle._
 
 
-object Build_VSCode
-{
+object Build_VSCode {
   /* build grammar */
 
   def default_logic: String = Isabelle_System.getenv("ISABELLE_LOGIC")
@@ -19,8 +18,8 @@
   def build_grammar(options: Options, build_dir: Path,
     logic: String = default_logic,
     dirs: List[Path] = Nil,
-    progress: Progress = new Progress): Unit =
-  {
+    progress: Progress = new Progress
+  ): Unit = {
     val keywords =
       Sessions.base_info(options, logic, dirs = dirs).check.base.overall_syntax.keywords
 
@@ -141,8 +140,8 @@
     target_dir: Path = Path.current,
     logic: String = default_logic,
     dirs: List[Path] = Nil,
-    progress: Progress = new Progress): Unit =
-  {
+    progress: Progress = new Progress
+  ): Unit = {
     Isabelle_System.require_command("node")
     Isabelle_System.require_command("yarn")
     Isabelle_System.require_command("vsce")
@@ -158,12 +157,10 @@
     /* build */
 
     val vsix_name =
-      Isabelle_System.with_tmp_dir("build")(build_dir =>
-      {
+      Isabelle_System.with_tmp_dir("build")(build_dir => {
         val manifest_text = File.read(VSCode_Main.extension_dir + VSCode_Main.MANIFEST)
         val manifest_entries = split_lines(manifest_text).filter(_.nonEmpty)
-        val manifest_shasum: String =
-        {
+        val manifest_shasum: String = {
           val a = SHA1.digest(manifest_text).shasum("<MANIFEST>")
           val bs =
             for (entry <- manifest_entries)
@@ -217,8 +214,8 @@
 
   val isabelle_tool =
     Isabelle_Tool("build_vscode_extension", "build Isabelle/VSCode extension module",
-      Scala_Project.here, args =>
-    {
+      Scala_Project.here,
+      args => {
       var target_dir = Path.current
       var dirs: List[Path] = Nil
       var logic = default_logic