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 * August 2020: Makarius Wenzel |
|
10 Improved monitoring of runtime statistics: ML GC progress and Java. |
8 |
11 |
9 * July 2020: Martin Desharnais |
12 * July 2020: Martin Desharnais |
10 Integration of Metis 2.4. |
13 Integration of Metis 2.4. |
11 |
14 |
12 * June 2020: Makarius Wenzel |
15 * June 2020: Makarius Wenzel |