--- a/NEWS Fri Nov 07 16:57:19 2025 +0100
+++ b/NEWS Fri Nov 07 17:12:21 2025 +0100
@@ -439,6 +439,11 @@
isabelle process_theories -f '~~/src/HOL/Examples/Seq.thy'
+* The command-line tool "isabelle process" supports new options -C DIR
+and -r (redirect). It is now possible to invoke it directly from
+Isabelle/ML via Isabelle/Scala, using Isabelle_System.ML_process: this
+avoids another bulky Java process.
+
* The command-line tool "isabelle process" no longer supports option -T
to load individual theories via the "use_thy" function in Isabelle/ML.
The latter is still available as "Thy_Info.use_thy_legacy", notably for