equal
deleted
inserted
replaced
88 Isabelle/Scala functions (of type String => String): invocation works |
88 Isabelle/Scala functions (of type String => String): invocation works |
89 via the PIDE protocol. |
89 via the PIDE protocol. |
90 |
90 |
91 |
91 |
92 *** System *** |
92 *** System *** |
93 |
|
94 * System option "pide_session" is enabled by default, notably for |
|
95 standard "isabelle build": this allows to invoke Isabelle/Scala |
|
96 operations from Isabelle/ML. |
|
97 |
93 |
98 * The command-line tool "isabelle console" now supports interrupts |
94 * The command-line tool "isabelle console" now supports interrupts |
99 properly (on Linux and macOS). |
95 properly (on Linux and macOS). |
100 |
96 |
101 * The command-line tool "isabelle sessions" explores the structure of |
97 * The command-line tool "isabelle sessions" explores the structure of |