NEWS

--- a/NEWS	Fri Jun 19 18:22:03 2020 +0200
+++ b/NEWS	Fri Jun 19 18:29:37 2020 +0200
@@ -85,10 +85,6 @@
 
 *** 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).