| Mon, 25 Jan 2021 15:58:19 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 24 Jan 2021 21:51:00 +0100 | wenzelm | provide jdk-11.0.10+9.tar.gz LTS for testing (inactive); | changeset | files |
| Sat, 30 Jan 2021 07:31:06 +0100 | nipkow | Simpler proof | changeset | files |
| Wed, 27 Jan 2021 13:08:07 +0100 | wenzelm | more robust: support other_isabelle.init_settings for build_history before b93404a4c3dd; | changeset | files |