src/Pure/Tools/ci_profile.scala

--- a/src/Pure/Tools/ci_profile.scala	Wed Jul 13 20:59:40 2016 +0200
+++ b/src/Pure/Tools/ci_profile.scala	Wed Jul 13 21:00:03 2016 +0200
@@ -7,6 +7,8 @@
 package isabelle
 
 
+import java.time._
+import java.time.format.DateTimeFormatter
 import java.util.{Properties => JProperties}
 
 
@@ -74,6 +76,7 @@
 
   final val isabelle_home = Path.explode(Isabelle_System.getenv_strict("ISABELLE_HOME"))
   final val isabelle_id = hg_id(isabelle_home)
+  final val start_time = Instant.now().atZone(ZoneId.systemDefault).format(DateTimeFormatter.RFC_1123_DATE_TIME)
 
 
   override final def apply(args: List[String]): Unit =
@@ -92,9 +95,11 @@
         .int.update("threads", threads)
 
     print_section("BUILD")
-    println(s"Build for Isabelle id $isabelle_id")
+    println(s"Build started at $start_time")
+    println(s"Isabelle id $isabelle_id")
     pre_hook(args)
 
+    print_section("LOG")
     val (results, elapsed_time) = build(options)
 
     print_section("TIMING")