| Mon, 01 Jul 2024 18:22:33 +0200 | Fabian Huch | remove inactive (e.g., crashed) hosts from scheduling; | changeset | files |
| Mon, 01 Jul 2024 15:25:27 +0200 | Fabian Huch | tuned; | changeset | files |
| Mon, 01 Jul 2024 15:24:04 +0200 | Fabian Huch | add timeout to build manager tasks/jobs (e.g. for cluster builds that don't terminate after error on host); | changeset | files |
| Mon, 01 Jul 2024 14:46:51 +0200 | Fabian Huch | clarified: more operations; | changeset | files |
| Mon, 01 Jul 2024 14:31:30 +0200 | Fabian Huch | tuned website; | changeset | files |
| Mon, 01 Jul 2024 13:11:25 +0200 | wenzelm | more significant HOL/Examples; | changeset | files |
| Mon, 01 Jul 2024 13:09:03 +0200 | wenzelm | tuned document layout, for more prominent presentation; | changeset | files |