[isabelle] Accessing slightly old versions of Isabelle

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.


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

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