src/Pure/Tools/mkroot.scala

 */
 
 package isabelle
 
 
-object Mkroot
-{
+object Mkroot {
   /** mkroot **/
 
   def root_name(name: String): String =
     Token.quote_name(Sessions.root_syntax.keywords, name)
 

     session_dir: Path = Path.current,
     session_parent: String = "",
     init_repos: Boolean = false,
     title: String = "",
     author: String = "",
-    progress: Progress = new Progress): Unit =
-  {
+    progress: Progress = new Progress
+  ): Unit = {
     Isabelle_System.make_directory(session_dir)
 
     val name = proper_string(session_name) getOrElse session_dir.absolute_file.getName
     val parent = proper_string(session_parent) getOrElse Isabelle_System.getenv("ISABELLE_LOGIC")
 

 
 
   /** Isabelle tool wrapper **/
 
   val isabelle_tool = Isabelle_Tool("mkroot", "prepare session root directory",
-    Scala_Project.here, args =>
-  {
+    Scala_Project.here,
+    args => {
     var author = ""
     var init_repos = false
     var title = ""
     var session_name = ""