Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build.scala
changeset 73736 a8ff6e4ee661
parent 73702 7202e12cb324
child 73774 734d5d3fbd9d 
--- a/src/Pure/Tools/build.scala	Tue May 18 22:02:21 2021 +0200
+++ b/src/Pure/Tools/build.scala	Wed May 19 10:41:28 2021 +0200
@@ -576,7 +576,7 @@
 
   Build and manage Isabelle sessions, depending on implicit settings:
 
-""" + Library.prefix_lines("  ",  Build_Log.Settings.show()) + "\n",
+""" + Library.indent_lines(2,  Build_Log.Settings.show()) + "\n",
       "B:" -> (arg => base_sessions = base_sessions ::: List(arg)),
       "D:" -> (arg => select_dirs = select_dirs ::: List(Path.explode(arg))),
       "N" -> (_ => numa_shuffling = true),
isabelle