Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
extra newline as for other tools;
authorwenzelm
Tue, 01 Nov 2016 21:07:13 +0100
changeset 64455 2cb3e2c2ce8b
parent 64454 4c868fa9d79b
child 64456 f630e9385d7e
extra newline as for other tools;
src/Pure/Tools/build.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/build.scala	Tue Nov 01 19:43:13 2016 +0100
+++ b/src/Pure/Tools/build.scala	Tue Nov 01 21:07:13 2016 +0100
@@ -751,7 +751,7 @@
 
   Build and manage Isabelle sessions, depending on implicit settings:
 
-""" + Library.prefix_lines("  ", Build_Log.Settings.show()),
+""" + Library.prefix_lines("  ", Build_Log.Settings.show()) + "\n",
       "D:" -> (arg => select_dirs = select_dirs ::: List(Path.explode(arg))),
       "N" -> (_ => numa_shuffling = true),
       "R" -> (_ => requirements = true),
isabelle