src/Pure/Admin/build_verit.scala

--- a/src/Pure/Admin/build_verit.scala	Fri Apr 01 17:06:10 2022 +0200
+++ b/src/Pure/Admin/build_verit.scala	Fri Apr 01 23:19:12 2022 +0200
@@ -22,7 +22,7 @@
   ): Unit = {
     mingw.check
 
-    Isabelle_System.with_tmp_dir("build")(tmp_dir => {
+    Isabelle_System.with_tmp_dir("build") { tmp_dir =>
       /* component */
 
       val Archive_Name = """^.*?([^/]+)$""".r
@@ -114,7 +114,7 @@
 
         Makarius
         """ + Date.Format.date(Date.now()) + "\n")
-    })
+    }
 }
 
 
@@ -122,13 +122,14 @@
 
   val isabelle_tool =
     Isabelle_Tool("build_verit", "build prover component from official download",
-      Scala_Project.here, args => {
-      var target_dir = Path.current
-      var mingw = MinGW.none
-      var download_url = default_download_url
-      var verbose = false
+      Scala_Project.here,
+      { args =>
+        var target_dir = Path.current
+        var mingw = MinGW.none
+        var download_url = default_download_url
+        var verbose = false
 
-      val getopts = Getopts("""
+        val getopts = Getopts("""
 Usage: isabelle build_verit [OPTIONS]
 
   Options are:
@@ -140,17 +141,17 @@
 
   Build prover component from official download.
 """,
-        "D:" -> (arg => target_dir = Path.explode(arg)),
-        "M:" -> (arg => mingw = MinGW(Path.explode(arg))),
-        "U:" -> (arg => download_url = arg),
-        "v" -> (_ => verbose = true))
+          "D:" -> (arg => target_dir = Path.explode(arg)),
+          "M:" -> (arg => mingw = MinGW(Path.explode(arg))),
+          "U:" -> (arg => download_url = arg),
+          "v" -> (_ => verbose = true))
 
-      val more_args = getopts(args)
-      if (more_args.nonEmpty) getopts.usage()
+        val more_args = getopts(args)
+        if (more_args.nonEmpty) getopts.usage()
 
-      val progress = new Console_Progress()
+        val progress = new Console_Progress()
 
-      build_verit(download_url = download_url, verbose = verbose, progress = progress,
-        target_dir = target_dir, mingw = mingw)
-    })
+        build_verit(download_url = download_url, verbose = verbose, progress = progress,
+          target_dir = target_dir, mingw = mingw)
+      })
 }