author | wenzelm |
Fri, 26 Apr 2024 13:25:44 +0200 | |
changeset 80150 | 96f60533ec1d |
parent 78662 | 123bbc715ec9 |
child 80185 | 455b58d356c5 |
permissions | -rw-r--r-- |
78662 | 1 |
Isabelle2023 |
76374 | 2 |
Isabelle2022 |
75216
e2b5f8b7507a
update official Isabelle release, notably for "Admin/init -R";
wenzelm
parents:
73478
diff
changeset
|
3 |
Isabelle2021-1 |
73478
1be70e3de751
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);
wenzelm
parents:
diff
changeset
|
4 |
Isabelle2021 |
1be70e3de751
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);
wenzelm
parents:
diff
changeset
|
5 |
Isabelle2020 |
1be70e3de751
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);
wenzelm
parents:
diff
changeset
|
6 |
Isabelle2019 |
1be70e3de751
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);
wenzelm
parents:
diff
changeset
|
7 |
Isabelle2018 |
1be70e3de751
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);
wenzelm
parents:
diff
changeset
|
8 |
Isabelle2017 |
1be70e3de751
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);
wenzelm
parents:
diff
changeset
|
9 |
Isabelle2016-1 |
1be70e3de751
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);
wenzelm
parents:
diff
changeset
|
10 |
Isabelle2016 |
1be70e3de751
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);
wenzelm
parents:
diff
changeset
|
11 |
Isabelle2015 |
1be70e3de751
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);
wenzelm
parents:
diff
changeset
|
12 |
Isabelle2014 |
1be70e3de751
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);
wenzelm
parents:
diff
changeset
|
13 |
Isabelle2013-2 |
1be70e3de751
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);
wenzelm
parents:
diff
changeset
|
14 |
Isabelle2013 |