more on Isabelle_System.bash;
Tue, 23 Feb 2021 23:00:08 +0100
changeset 73298 637e3e85cd6f
parent 73297 beaff25452d2
child 73299 43ce3b8a25ee
child 73303 bd61e9477d82
more on Isabelle_System.bash;
--- 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 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