changeset 71726 | a5fda30edae2 |
parent 67069 | f11486d31586 |
child 72375 | e48d93811ed7 |
--- a/src/Pure/Tools/mkroot.scala Tue Apr 07 21:07:28 2020 +0200 +++ b/src/Pure/Tools/mkroot.scala Tue Apr 07 21:49:36 2020 +0200 @@ -25,7 +25,7 @@ init_repos: Boolean = false, title: String = "", author: String = "", - progress: Progress = No_Progress) + progress: Progress = new Progress) { Isabelle_System.mkdirs(session_dir)