equal
deleted
inserted
replaced
18 documents for well-known LaTeX styles. |
18 documents for well-known LaTeX styles. |
19 |
19 |
20 * March 2023 - June 2023: Makarius Wenzel |
20 * March 2023 - June 2023: Makarius Wenzel |
21 ML heap usage and stored heap size has been significantly reduced; |
21 ML heap usage and stored heap size has been significantly reduced; |
22 based on new command-line tool "isabelle profiling". |
22 based on new command-line tool "isabelle profiling". |
|
23 |
|
24 * 2023: Makarius Wenzel and Fabian Huch |
|
25 Support for distributed build clusters, based on SSH and PostgreSQL. |
23 |
26 |
24 |
27 |
25 Contributions to Isabelle2022 |
28 Contributions to Isabelle2022 |
26 ----------------------------- |
29 ----------------------------- |
27 |
30 |