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 whitespace;
authorwenzelm
Sun, 09 Nov 2025 13:02:13 +0100
changeset 83537 7f14cf99db0d
parent 83536 45f5af2eec9c
child 83538 be77b8f48b7b
tuned whitespace;
src/Pure/ML/ml_process.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML/ml_process.scala	Sun Nov 09 13:01:30 2025 +0100
+++ b/src/Pure/ML/ml_process.scala	Sun Nov 09 13:02:13 2025 +0100
@@ -175,6 +175,7 @@
     val process =
       ML_Process(options, session_background, session_heaps,
         args = eval_args.toList, modes = modes, cwd = cwd, redirect = redirect)
+
     if (internal) process.result()
     else {
       process.result(
isabelle