equal
deleted
inserted
replaced
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
9 * 2023/2024: Makarius Wenzel and Fabian Huch |
9 * 2023/2024: Makarius Wenzel and Fabian Huch |
10 More support for distributed build clusters. |
10 More robust and scalable support for distributed build clusters. |
11 |
11 |
12 * October 2023: Fabian Huch |
12 * October 2023: Fabian Huch |
13 Support for SMTP mailing. |
13 Support for SMTP mailing. |
14 |
14 |
15 |
15 |