[isabelle-dev] NEWS: system option pide_session is enabled by default

Makarius makarius at sketis.net
Wed Jun 17 21:57:18 CEST 2020

*** System ***

* System option "pide_session" is enabled by default, notably for
standard "isabelle build": this allows to invoke Isabelle/Scala
operations from Isabelle/ML.

This refers to Isabelle/026de3424c39. It is practically relevant for
Isabelle/Scala functions in Isabelle/ML.

It is still possible to opt-out, e.g. like this "isabelle build -o
pide_session=false", but at a later stage non-PIDE batch builds will be


More information about the isabelle-dev mailing list