# HG changeset patch
# User wenzelm
# Date 1457713214 -3600
# Node ID cf79f8866bc310328e3cb5c811194c360aa87a89
# Parent  092c63734cc656811ff150f956c6995634f302ed
tuned messages;

diff -r 092c63734cc6 -r cf79f8866bc3 src/Doc/System/Sessions.thy
--- a/src/Doc/System/Sessions.thy	Fri Mar 11 11:49:21 2016 +0100
+++ b/src/Doc/System/Sessions.thy	Fri Mar 11 17:20:14 2016 +0100
@@ -267,8 +267,10 @@
     -v           verbose
     -x NAME      exclude session NAME and all descendants
 
-  Build and manage Isabelle sessions, depending on implicit
+  Build and manage Isabelle sessions, depending on implicit settings:
+
   ISABELLE_BUILD_OPTIONS="..."
+  ISABELLE_BUILD_JAVA_OPTIONS="..."
 
   ML_PLATFORM="..."
   ML_HOME="..."
diff -r 092c63734cc6 -r cf79f8866bc3 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Fri Mar 11 11:49:21 2016 +0100
+++ b/src/Pure/Tools/build.scala	Fri Mar 11 17:20:14 2016 +0100
@@ -1031,9 +1031,8 @@
         cat_lines(List(
           "ISABELLE_BUILD_OPTIONS=" +
             quote(Isabelle_System.getenv("ISABELLE_BUILD_OPTIONS")),
-          "",
           "ISABELLE_BUILD_JAVA_OPTIONS=" +
-            quote(Isabelle_System.getenv("ISABELLE_BUILD_JAVA_OPTIONS")) +
+            quote(Isabelle_System.getenv("ISABELLE_BUILD_JAVA_OPTIONS")),
           "",
           "ML_PLATFORM=" + quote(Isabelle_System.getenv("ML_PLATFORM")),
           "ML_HOME=" + quote(Isabelle_System.getenv("ML_HOME")),
@@ -1080,7 +1079,8 @@
     -v           verbose
     -x NAME      exclude session NAME and all descendants
 
-  Build and manage Isabelle sessions, depending on implicit
+  Build and manage Isabelle sessions, depending on implicit settings:
+
 """ + Library.prefix_lines("  ", show_settings()),
         "D:" -> (arg => select_dirs = select_dirs ::: List(Path.explode(arg))),
         "R" -> (_ => requirements = true),
@@ -1107,8 +1107,8 @@
         progress.echo(
           Library.trim_line(
             Isabelle_System.bash(
-              """echo "Started at $(date) ($ML_IDENTIFIER on $(hostname))" """).out))
-        progress.echo(show_settings())
+              """echo "Started at $(date) ($ML_IDENTIFIER on $(hostname))" """).out) + "\n")
+        progress.echo(show_settings() + "\n")
       }
 
       val start_time = Time.now()
@@ -1121,9 +1121,9 @@
       val elapsed_time = Time.now() - start_time
 
       if (verbose) {
-        progress.echo(
+        progress.echo("\n" +
           Library.trim_line(
-            Isabelle_System.bash("""echo "Finished at "; date""").out))
+            Isabelle_System.bash("""echo -n "Finished at "; date""").out))
       }
 
       val total_timing =