| Tue, 31 Jan 2023 14:05:16 +0000 | paulson | Lots more new material thanks to Manuel Eberl | changeset | files |
| Mon, 30 Jan 2023 15:24:25 +0000 | paulson | merged | changeset | files |
| Mon, 30 Jan 2023 15:24:17 +0000 | paulson | Moved in a large number of highly useful library lemmas, mostly due to Manuel Eberl | changeset | files |
| Mon, 30 Jan 2023 15:02:38 +0100 | wenzelm | observe option "show_states" in headless server (see also 951abf9db857); | changeset | files |
| Mon, 30 Jan 2023 10:15:01 +0100 | nipkow | text correction | changeset | files |
| Sun, 29 Jan 2023 16:49:17 +0100 | wenzelm | enable clean_components by default: it saves a lot of local disk space, notably on virtual nodes; | changeset | files |
| Sat, 28 Jan 2023 22:31:40 +0100 | wenzelm | merged | changeset | files |
| Sat, 28 Jan 2023 22:29:24 +0100 | wenzelm | removed somewhat pointless support for Jenkins log files: it has stopped working long ago; | changeset | files |