# HG changeset patch
# User wenzelm
# Date 1614117608 -3600
# Node ID 637e3e85cd6fd61f7ac3d4000f753a93ef63edf3
# Parent  beaff25452d28a2ba1fd375492f33b43c253241e
more on Isabelle_System.bash;

diff -r beaff25452d2 -r 637e3e85cd6f NEWS
--- a/NEWS	Tue Feb 23 20:41:48 2021 +0000
+++ b/NEWS	Tue Feb 23 23:00:08 2021 +0100
@@ -54,6 +54,13 @@
     like Isabelle_System.with_tmp_file to create a file name and
     File.read to retrieve its content.
 
+  - Just like any other Scala function invoked from ML,
+    Isabelle_System.bash_process requires a proper PIDE session context.
+    This could be a regular batch session (e.g. "isabelle build"), a
+    PIDE editor session (e.g. "isabelle jedit"), or headless PIDE (e.g.
+    "isabelle dump" or "isabelle server"). Note that old "isabelle
+    console" or raw "isabelle process" don't have that.
+
 New Process_Result.timing works as in Isabelle/Scala, based on direct
 measurements of the bash_process wrapper in C: elapsed time is always
 available, CPU time is only available on Linux and macOS, GC time is