equal
deleted
inserted
replaced
3 listed as an author in one of the source files of this Isabelle distribution. |
3 listed as an author in one of the source files of this Isabelle distribution. |
4 |
4 |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
|
8 |
|
9 * June 2020: Makarius Wenzel |
|
10 System option pide_session is enabled by default, notably for standard |
|
11 "isabelle build" to invoke Scala from ML. |
|
12 |
|
13 * May 2020: Makarius Wenzel |
|
14 Antiquotations for Isabelle systems programming, notably @{scala_function} |
|
15 and @{scala} to invoke Scala from ML. |
8 |
16 |
9 * May 2020: Florian Haftmann |
17 * May 2020: Florian Haftmann |
10 HOL-Word based on library theory of generic bit operations. |
18 HOL-Word based on library theory of generic bit operations. |
11 |
19 |
12 * May 2020: Florian Haftmann |
20 * May 2020: Florian Haftmann |