src/Pure/Tools/build_history.scala
changeset 64155 646c4d6a6a02
parent 64151 be9b3cffe058
     1.1 --- a/src/Pure/Tools/build_history.scala	Tue Oct 11 21:25:10 2016 +0200
     1.2 +++ b/src/Pure/Tools/build_history.scala	Tue Oct 11 22:24:14 2016 +0200
     1.3 @@ -261,8 +261,8 @@
     1.4        val meta_info =
     1.5          List(Build_Log.Field.build_engine -> BUILD_HISTORY,
     1.6            Build_Log.Field.build_host -> build_host,
     1.7 -          Build_Log.Field.build_start -> Build_Log.Log_File.Date_Format(build_start),
     1.8 -          Build_Log.Field.build_end -> Build_Log.Log_File.Date_Format(build_end),
     1.9 +          Build_Log.Field.build_start -> Build_Log.print_date(build_start),
    1.10 +          Build_Log.Field.build_end -> Build_Log.print_date(build_end),
    1.11            Build_Log.Field.isabelle_version -> isabelle_version)
    1.12  
    1.13        val ml_statistics =