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 82716 6e33d46b1400
parent 82709 1008b8e7c78d
child 82718 e1a8753eaad7 
--- a/src/Pure/Build/build.scala	Sat Jun 14 22:35:48 2025 +0200
+++ b/src/Pure/Build/build.scala	Sun Jun 15 13:13:37 2025 +0200
@@ -410,7 +410,7 @@
 
       progress.echo(
         "Started at " + Build_Log.print_date(progress.start) +
-          " (" + ML_Process.ml_identifier() + " on " + hostname(options) +")",
+          " (" + ML_Settings.system().ml_identifier + " on " + hostname(options) +")",
         verbose = true)
       progress.echo(Build_Log.Settings.show() + "\n", verbose = true)
isabelle