| Wed, 08 Nov 2023 11:08:03 +0100 | Fabian Huch | move timing data into scheduler for more efficient heuristics (e.g., with pre-calculated values); | changeset | files |
| Thu, 09 Nov 2023 14:28:17 +0100 | wenzelm | clarified signature: emphasize mutable instance; | changeset | files |
| Thu, 09 Nov 2023 14:22:19 +0100 | wenzelm | clarified signature: more operations; | changeset | files |
| Thu, 09 Nov 2023 13:31:09 +0100 | wenzelm | support for explicit SSH hostname; | changeset | files |
| Thu, 09 Nov 2023 11:30:33 +0100 | wenzelm | proper local host (amending 62d7ef1da441); | changeset | files |
| Wed, 08 Nov 2023 21:45:02 +0100 | nipkow | merged | changeset | files |
| Wed, 08 Nov 2023 21:44:44 +0100 | nipkow | added lemma | changeset | files |