diff -r 107472ccc60d -r 026de3424c39 NEWS
--- a/NEWS	Wed Jun 17 19:46:50 2020 +0200
+++ b/NEWS	Wed Jun 17 20:42:52 2020 +0200
@@ -68,6 +68,10 @@
 
 *** System ***
 
+* System option "pide_session" is enabled by default, notably for
+standard "isabelle build": this allows to invoke Isabelle/Scala
+operations from Isabelle/ML.
+
 * The command-line tool "isabelle console" now supports interrupts
 properly (on Linux and macOS).