Email Gateway (Aug 19 2022 at 12:46): Email Gateway (Aug 19 2022 at 12:46):From: Andrew Butterfield <Andrew.Butterfield@scss.tcd.ie>
All,
is there an easy way to get the previous release of Isabelle/HOL (e.g. Isabelle2013),
rather than the current Isabelle2013_1 version.
I need at least one of the Linux or Windows version, or ideally both.
Thanks,
Andrew.
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero@TCD, Head of Foundations & Methods Research Group
Director of Teaching and Learning - Undergraduate,
School of Computer Science and Statistics,
Room G.39, O'Reilly Institute, Trinity College, University of Dublin
http://www.scss.tcd.ie/Andrew.Butterfield/
Email Gateway (Aug 19 2022 at 12:46):From: Lawrence Paulson <lp15@cam.ac.uk>
All earlier versions are here, sources only. You’ll have to recompile.
http://www.cl.cam.ac.uk/~lp15/archive/
Larry Paulson
Email Gateway (Aug 19 2022 at 12:46):From: Alfio Martini <alfio.martini@acm.org>
Hi Andrew,
Here you can access the past releases up to 2008. There is no need of
recompilation, I think.
http://isabelle.in.tum.de/download_past.html
This link is directly available from the Installation Menu.
Best!
Last updated: Apr 24 2024 at 20:16 UTC