Re: [isabelle] Accessing slightly old versions of Isabelle



All earlier versions are here, sources only. You’ll have to recompile.

http://www.cl.cam.ac.uk/~lp15/archive/

Larry Paulson


On 29 Nov 2013, at 16:44, Andrew Butterfield <Andrew.Butterfield at scss.tcd.ie> wrote:

> 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.