Email Gateway (Oct 26 2022 at 06:23): Email Gateway (Oct 26 2022 at 06:23):From: Frédéric Blanqui <frederic.blanqui@inria.fr>
Hello. https://isabelle.in.tum.de/dist/Isabelle2021-1_linux.tar.gz is
not valid anymore. Where can I find the old versions of Isabelle?
Email Gateway (Oct 26 2022 at 06:27):From: Jan van Brügge <jan@vanbruegge.de>
It is in the website-Isabelle2021-1 folder now: https://isabelle.in.tum.de/website-2021-1/dist/Isabelle2021-1_linux.tar.gz
Oct 26, 2022 7:23:19 AM Frédéric Blanqui <frederic.blanqui@inria.fr>:
Hello. https://isabelle.in.tum.de/dist/Isabelle2021-1_linux.tar.gz is not valid anymore. Where can I find the old versions of Isabelle?
Email Gateway (Oct 26 2022 at 06:29):From: Jan van Brügge <jan@vanbruegge.de>
Sorry, typo in the url: https://isabelle.in.tum.de/website-Isabelle2021-1/dist/Isabelle2021-1_linux.tar.gz
Oct 26, 2022 7:27:43 AM Jan van Brügge <jan@vanbruegge.de>:
Email Gateway (Oct 26 2022 at 06:32):From: Frédéric Blanqui <frederic.blanqui@inria.fr>
Thank you. But it would be better to have permanent URLs!... @Makarius?
Email Gateway (Oct 26 2022 at 06:35):From: Jan van Brügge <jan@vanbruegge.de>
Those URLs are permanent, see e.g.: https://isabelle.in.tum.de/website-Isabelle2022/dist/Isabelle2022_linux.tar.gz
The only thing is that they are not linked to on the main website
Oct 26, 2022 7:32:17 AM Frédéric Blanqui <frederic.blanqui@inria.fr>:
Email Gateway (Oct 26 2022 at 08:09):From: Peter Lammich <lammich@in.tum.de>
Somewhat hidden, but reachable from Isabelle's homepage:
https://isabelle.in.tum.de/download_past.html
Last updated: Jan 04 2025 at 20:18 UTC