| Thu, 23 May 2024 20:24:26 +0200 | wenzelm | post-release updates; | file | diff | annotate |
| Mon, 11 Sep 2023 23:13:23 +0200 | wenzelm | post-release updates; | file | diff | annotate |
| Tue, 25 Oct 2022 15:13:11 +0200 | wenzelm | official release; | file | diff | annotate |
| Sat, 05 Mar 2022 10:44:07 +0100 | wenzelm | update official Isabelle release, notably for "Admin/init -R"; | file | diff | annotate |
| Sat, 27 Mar 2021 15:56:49 +0100 | wenzelm | record official releases that follow a certain structure, with public access via https://isabelle.sketis.net/repos/isabelle/raw-file/tip/Admin/Release/official (NB: Isabelle2013-1 had to be retracted); | file | diff | annotate |