| 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 |
| Mon, 25 Jan 2021 22:30:39 +0100 | wenzelm | more robust: defer error in sessions structure to build process; | changeset | files |
| Sun, 24 Jan 2021 19:34:37 +0100 | wenzelm | merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS; | changeset | files |
| Sun, 24 Jan 2021 17:39:29 +0100 | wenzelm | Added tag Isabelle2021-RC3 for changeset 02422c9add5e | changeset | files |