back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39);

--- 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).
 

--- a/etc/options	Fri Jun 19 18:22:03 2020 +0200
+++ b/etc/options	Fri Jun 19 18:29:37 2020 +0200
@@ -150,7 +150,7 @@
 
 section "PIDE Build"
 
-option pide_session : bool = true
+option pide_session : bool = false
   -- "build session heaps via PIDE"
 
 option pide_exports : bool = true

--- a/src/Doc/ROOT	Fri Jun 19 18:22:03 2020 +0200
+++ b/src/Doc/ROOT	Fri Jun 19 18:29:37 2020 +0200
@@ -378,7 +378,7 @@
     "root.tex"
 
 session System (doc) in "System" = Pure +
-  options [document_variants = "system", thy_output_source]
+  options [document_variants = "system", thy_output_source, pide_session]
   sessions
     "HOL-Library"
   theories