src/Pure/Tools/build_log.scala
changeset 64155 646c4d6a6a02
parent 64150 b10f2ddd7679
     1.1 --- a/src/Pure/Tools/build_log.scala	Tue Oct 11 22:14:26 2016 +0200
     1.2 +++ b/src/Pure/Tools/build_log.scala	Tue Oct 11 22:24:14 2016 +0200
     1.3 @@ -79,6 +79,8 @@
     1.4  
     1.5    /** log file **/
     1.6  
     1.7 +  def print_date(date: Date): String = Log_File.Date_Format(date)
     1.8 +
     1.9    object Log_File
    1.10    {
    1.11      def apply(name: String, lines: List[String]): Log_File =