equal
deleted
inserted
replaced
8 |
8 |
9 * July 2020: Martin Desharnais |
9 * July 2020: Martin Desharnais |
10 Integration of Metis 2.4. |
10 Integration of Metis 2.4. |
11 |
11 |
12 * June 2020: Makarius Wenzel |
12 * June 2020: Makarius Wenzel |
13 System option pide_session is enabled by default, notably for standard |
13 Batch-builds via "isabelle build" allow to invoke Scala from ML. |
14 "isabelle build" to invoke Scala from ML. |
|
15 |
14 |
16 * May 2020: Makarius Wenzel |
15 * May 2020: Makarius Wenzel |
17 Antiquotations for Isabelle systems programming, notably @{scala_function} |
16 Antiquotations for Isabelle systems programming, notably @{scala_function} |
18 and @{scala} to invoke Scala from ML. |
17 and @{scala} to invoke Scala from ML. |
19 |
18 |