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 Isabelle2017 |
6 Contributions to Isabelle2017 |
7 ----------------------------- |
7 ----------------------------- |
|
8 |
|
9 * September 2017: Lawrence Paulson |
|
10 HOL-Analysis, e.g. simplicial complexes, Jordan Curve Theorem. |
|
11 |
|
12 * September 2017: Jasmin Blanchette |
|
13 Further integration of Nunchaku model finder. |
8 |
14 |
9 * November 2016 - June 2017: Makarius Wenzel |
15 * November 2016 - June 2017: Makarius Wenzel |
10 New Isabelle/VSCode, with underlying restructuring of Isabelle/PIDE. |
16 New Isabelle/VSCode, with underlying restructuring of Isabelle/PIDE. |
11 |
17 |
12 * 2017: Makarius Wenzel |
18 * 2017: Makarius Wenzel |
13 Session-qualified theory names (theory imports and ROOT files). |
19 Session-qualified theory names (theory imports and ROOT files). |
14 Prover IDE improvements. |
20 Prover IDE improvements. |
15 Support for SQL databases in Isabelle/Scala: SQLite and PostgreSQL. |
21 Support for SQL databases in Isabelle/Scala: SQLite and PostgreSQL. |
16 |
|
17 * September 2017: Jasmin Blanchette |
|
18 Further integration of Nunchaku model finder. |
|
19 |
|
20 * September 2017: Lawrence Paulson |
|
21 HOL-Analysis, e.g., simplicial complexes, Jordan Curve Theorem. |
|
22 |
22 |
23 * August 2017: Andreas Lochbihler, ETH Zurich |
23 * August 2017: Andreas Lochbihler, ETH Zurich |
24 type of unordered pairs (HOL-Library.Uprod) |
24 type of unordered pairs (HOL-Library.Uprod) |
25 |
25 |
26 * August 2017: Manuel Eberl, TUM |
26 * August 2017: Manuel Eberl, TUM |