# HG changeset patch # User wenzelm # Date 1592584177 -7200 # Node ID 23398ed3aecfb177c197cafc22a9014c39da8ce1 # Parent af779738a8f93f7829cc50f866951717a468b254 back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39); diff -r af779738a8f9 -r 23398ed3aecf 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). diff -r af779738a8f9 -r 23398ed3aecf etc/options --- 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 diff -r af779738a8f9 -r 23398ed3aecf src/Doc/ROOT --- 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