equal
deleted
inserted
replaced
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 Isabelle2017 |
7 -------------------------------------- |
7 -------------------------------------- |
|
8 |
|
9 * November 2016 - June 2017: Makarius Wenzel |
|
10 New Isabelle/VSCode, with underlying restructuring of Isabelle/PIDE. |
|
11 |
|
12 * 2017: Makarius Wenzel |
|
13 Session-qualified theory names (theory imports and ROOT files). |
|
14 Prover IDE improvements. |
|
15 Support for SQL databases in Isabelle/Scala: SQLite and PostgreSQL. |
8 |
16 |
9 * March 2017: Alasdair Armstrong, University of Sheffield and |
17 * March 2017: Alasdair Armstrong, University of Sheffield and |
10 Simon Foster, University of York |
18 Simon Foster, University of York |
11 Fixed-point theory and Galois Connections in HOL-Algebra. |
19 Fixed-point theory and Galois Connections in HOL-Algebra. |
12 |
20 |