Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_log.scala
changeset 71163 b5822f4c3fde
parent 69980 f2e3adfd916f
child 71620 5a4ccef7f310 
--- a/src/Pure/Admin/build_log.scala	Mon Nov 25 12:16:26 2019 +0100
+++ b/src/Pure/Admin/build_log.scala	Mon Nov 25 12:19:14 2019 +0100
@@ -83,7 +83,7 @@
   def log_date(date: Date): String =
     String.format(Locale.ROOT, "%s.%05d",
       DateTimeFormatter.ofPattern("yyyy-MM-dd").format(date.rep),
-      new java.lang.Long((date.time - date.midnight.time).ms / 1000))
+      java.lang.Long.valueOf((date.time - date.midnight.time).ms / 1000))
 
   def log_subdir(date: Date): Path =
     Path.explode("log") + Path.explode(date.rep.getYear.toString)
isabelle