Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Thu, 02 Nov 2023 13:16:06 +0100
changeset 78879 2e260496a4f8
parent 78878 d03bbdd9e735
child 78880 9ce8bf038444
tuned message;
src/Pure/Admin/build_log.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_log.scala	Thu Nov 02 13:05:29 2023 +0100
+++ b/src/Pure/Admin/build_log.scala	Thu Nov 02 13:16:06 2023 +0100
@@ -1084,7 +1084,7 @@
             progress.echo(verbose = true,
               msg =
                 "Log " + quote(log_file.name) + " (" +
-                  (t1 - t0).message + " start time, " +
+                  (t1 - t0).message_hms + " start time, " +
                   (t2 - t1).message + " elapsed time)")
 
             true
isabelle