src/Pure/Tools/build.scala
changeset 64155 646c4d6a6a02
parent 64140 96d398871124
child 64173 85ff21510ba9
     1.1 --- a/src/Pure/Tools/build.scala	Tue Oct 11 09:50:04 2016 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Tue Oct 11 22:24:14 2016 +0200
     1.3 @@ -756,7 +756,7 @@
     1.4  
     1.5      if (verbose) {
     1.6        progress.echo(
     1.7 -        "Started at " + Build_Log.Log_File.Date_Format(start_date) +
     1.8 +        "Started at " + Build_Log.print_date(start_date) +
     1.9            " (" + Isabelle_System.getenv("ML_IDENTIFIER") + " on " + Isabelle_System.hostname() +")")
    1.10        progress.echo(Build_Log.Settings.show() + "\n")
    1.11      }
    1.12 @@ -785,7 +785,7 @@
    1.13      val elapsed_time = end_date.time - start_date.time
    1.14  
    1.15      if (verbose) {
    1.16 -      progress.echo("\nFinished at " + Build_Log.Log_File.Date_Format(end_date))
    1.17 +      progress.echo("\nFinished at " + Build_Log.print_date(end_date))
    1.18      }
    1.19  
    1.20      val total_timing =