src/Pure/Admin/build_vampire.scala

--- a/src/Pure/Admin/build_vampire.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/Admin/build_vampire.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -7,8 +7,7 @@
 package isabelle
 
 
-object Build_Vampire
-{
+object Build_Vampire {
   val default_download_url = "https://github.com/vprover/vampire/archive/refs/tags/v4.6.tar.gz"
   val default_jobs = 1
 
@@ -24,12 +23,11 @@
     component_name: String = "",
     verbose: Boolean = false,
     progress: Progress = new Progress,
-    target_dir: Path = Path.current): Unit =
-  {
+    target_dir: Path = Path.current
+  ): Unit = {
     Isabelle_System.require_command("cmake")
 
-    Isabelle_System.with_tmp_dir("build")(tmp_dir =>
-    {
+    Isabelle_System.with_tmp_dir("build")(tmp_dir => {
       /* component */
 
       val Archive_Name = """^.*?([^/]+)$""".r
@@ -128,8 +126,7 @@
 
   val isabelle_tool =
     Isabelle_Tool("build_vampire", "build prover component from official download",
-    Scala_Project.here, args =>
-    {
+    Scala_Project.here, args => {
       var target_dir = Path.current
       var download_url = default_download_url
       var jobs = default_jobs