1 For the purposes of the license agreement in the file COPYRIGHT, a |
1 For the purposes of the license agreement in the file COPYRIGHT, a |
2 'contributor' is anybody who is listed in this file (CONTRIBUTORS) or who is |
2 'contributor' is anybody who is listed in this file (CONTRIBUTORS) or who is |
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 Isabelle2019 |
7 -------------------------------------- |
7 ----------------------------- |
8 |
8 |
9 * January 2019: Florian Haftmann |
9 * February/March 2019: Makarius Wenzel |
10 Clarified syntax and congruence rules for big operators on sets |
10 Stateless management of export artifacts in the Isabelle/HOL code generator. |
11 involving the image operator. |
|
12 |
|
13 * January 2919: Florian Haftmann |
|
14 Renovation of code generation, particularly export into session data |
|
15 and proper strings and proper integers based on zarith for OCaml. |
|
16 |
|
17 * February 2019: Jeremy Sylvestre |
|
18 Formal Laurent Series and overhaul of Formal power series. |
|
19 |
11 |
20 * February 2019: Manuel Eberl |
12 * February 2019: Manuel Eberl |
21 Exponentiation by squaring, used to implement "power" in monoid_mult and |
13 Exponentiation by squaring, used to implement "power" in monoid_mult and |
22 fast modular exponentiation. |
14 fast modular exponentiation. |
23 |
15 |
24 * February 2019: Manuel Eberl |
16 * February 2019: Manuel Eberl |
25 Carmichael's function, primitive roots in residue rings, more properties |
17 Carmichael's function, primitive roots in residue rings, more properties of |
26 of the order in residue rings. |
18 the order in residue rings. |
|
19 |
|
20 * February 2019: Jeremy Sylvestre |
|
21 Formal Laurent Series and overhaul of Formal power series. |
|
22 |
|
23 * January 2019: Florian Haftmann |
|
24 Clarified syntax and congruence rules for big operators on sets involving |
|
25 the image operator. |
|
26 |
|
27 * January 2019: Florian Haftmann |
|
28 Renovation of code generation, particularly export into session data and |
|
29 proper strings and proper integers based on zarith for OCaml. |
27 |
30 |
28 * January 2019: Andreas Lochbihler |
31 * January 2019: Andreas Lochbihler |
29 New implementation for case_of_simps based on Code_Lazy's |
32 New implementation for case_of_simps based on Code_Lazy's pattern matching |
30 pattern matching elimination algorithm. |
33 elimination algorithm. |
|
34 |
|
35 * November/December 2018: Makarius Wenzel |
|
36 Support for Isabelle/Haskell applications of Isabelle/PIDE. |
|
37 |
|
38 * August/September 2018: Makarius Wenzel |
|
39 Improvements of headless Isabelle/PIDE session and server, and systematic |
|
40 exports from theory documents. |
31 |
41 |
32 * December 2018: Florian Haftmann |
42 * December 2018: Florian Haftmann |
33 Generic executable sorting algorithms based on executable comparators. |
43 Generic executable sorting algorithms based on executable comparators. |
34 |
44 |
35 * October 2018: Mathias Fleury |
45 * October 2018: Mathias Fleury |