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 82761 88ffadf17062
parent 82754 6204f51104da 
--- a/src/Pure/Build/build.scala	Wed Jun 25 12:25:02 2025 +0200
+++ b/src/Pure/Build/build.scala	Wed Jun 25 12:29:04 2025 +0200
@@ -380,7 +380,7 @@
   Notable system options: see "isabelle options -l -t build"
 
   Notable system settings:
-""" + Library.indent_lines(4, Build_Log.Settings.show(ML_Settings.system(options))) + "\n",
+""" + Library.indent_lines(4, Build_Log.Settings.show(ML_Settings(options))) + "\n",
         "A:" -> (arg => afp_root = Some(if (arg == ":") AFP.BASE else Path.explode(arg))),
         "B:" -> (arg => base_sessions += arg),
         "D:" -> (arg => select_dirs += Path.explode(arg)),
@@ -408,7 +408,7 @@
 
       val progress = new Console_Progress(verbose = verbose)
 
-      val ml_settings = ML_Settings.system(options)
+      val ml_settings = ML_Settings(options)
 
       progress.echo(
         "Started at " + Build_Log.print_date(progress.start) +
isabelle