| Wed, 22 Nov 2023 15:39:39 +0100 | Fabian Huch | clarified ready vs. next ready; | file | diff | annotate |
| Fri, 10 Nov 2023 14:42:07 +0100 | Fabian Huch | finalize current sessions before generating schedule; | file | diff | annotate |
| Fri, 10 Nov 2023 14:07:36 +0100 | Fabian Huch | clarified signature: more operations; | file | diff | annotate |