[isabelle] Accessing slightly old versions of Isabelle



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 at 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/
--------------------------------------------------------------------





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.