| changeset 71940 | 026de3424c39 |
| parent 71932 | 65fd0f032a75 |
| child 71941 | 49af3d9a818c |
--- 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).