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/Build/build.scala
changeset 82708 e43ef311d595
parent 82147 3f7c8e6d3481
child 82709 1008b8e7c78d 
--- a/src/Pure/Build/build.scala	Sat Jun 14 14:34:11 2025 +0200
+++ b/src/Pure/Build/build.scala	Sat Jun 14 14:37:34 2025 +0200
@@ -409,7 +409,7 @@
 
       progress.echo(
         "Started at " + Build_Log.print_date(progress.start) +
-          " (" + Isabelle_System.ml_identifier() + " on " + hostname(options) +")",
+          " (" + ML_Process.ml_identifier() + " on " + hostname(options) +")",
         verbose = true)
       progress.echo(Build_Log.Settings.show() + "\n", verbose = true)
isabelle