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