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 Isabelle2025 |
7 -------------------------------------- |
7 ----------------------------- |
8 |
8 |
9 * October 2024 - January 2025: Lukas Bartl, Universität Augsburg |
9 * October 2024 - January 2025: Lukas Bartl, Universität Augsburg |
10 Inference of variable instantiations with Metis. |
10 Inference of variable instantiations with Metis. |
11 |
11 |
12 * 2024: Fabian Huch, TU München |
12 * 2024: Fabian Huch, TU München |
13 Find_Facts search engine: web application based on Apache Solr. |
13 Find_Facts search engine: web application based on Apache Solr. |
|
14 |
|
15 * 2024: Fabian Huch, TU München |
|
16 Build_Manager for distrubuted cluster, with web front-end (supersedes |
|
17 Jenkins). |
14 |
18 |
15 * April - October 2024: Thomas Lindae and Fabian Huch, TU München |
19 * April - October 2024: Thomas Lindae and Fabian Huch, TU München |
16 Improvements to the language server for Isabelle/VSCode. |
20 Improvements to the language server for Isabelle/VSCode. |
17 |
21 |
18 * June - July 2024: Fabian Huch |
22 * June - July 2024: Fabian Huch |