equal
deleted
inserted
replaced
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
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 |
|
12 * 2024: Fabian Huch, TU München |
|
13 Search engine "find_facts": web application based on Apache Solr. |
11 |
14 |
12 * April - October 2024: Thomas Lindae and Fabian Huch, TU München |
15 * April - October 2024: Thomas Lindae and Fabian Huch, TU München |
13 Improvements to the language server for Isabelle/VSCode. |
16 Improvements to the language server for Isabelle/VSCode. |
14 |
17 |
15 * June - July 2024: Fabian Huch |
18 * June - July 2024: Fabian Huch |