# HG changeset patch
# User wenzelm
# Date 1592419372 -7200
# Node ID 026de3424c39f54f0b7d5d9ff6e834b85b07e370
# Parent  107472ccc60ded21bd9c5596b8ce0262c0bfd893
enable pide_session by default;

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).
 
diff -r 107472ccc60d -r 026de3424c39 etc/options
--- a/etc/options	Wed Jun 17 19:46:50 2020 +0200
+++ b/etc/options	Wed Jun 17 20:42:52 2020 +0200
@@ -150,7 +150,7 @@
 
 section "PIDE Build"
 
-option pide_session : bool = false
+option pide_session : bool = true
   -- "build session heaps via PIDE"
 
 option pide_reports : bool = true
diff -r 107472ccc60d -r 026de3424c39 src/Doc/ROOT
--- a/src/Doc/ROOT	Wed Jun 17 19:46:50 2020 +0200
+++ b/src/Doc/ROOT	Wed Jun 17 20:42:52 2020 +0200
@@ -378,7 +378,7 @@
     "root.tex"
 
 session System (doc) in "System" = Pure +
-  options [document_variants = "system", thy_output_source, pide_session]
+  options [document_variants = "system", thy_output_source]
   sessions
     "HOL-Library"
   theories