Re: [isabelle] old isabelle version for cygwin

On Sat, 14 Apr 2012, Walther Neuper wrote:

can we get the old

from somewhere ?

Yes the "Download" page has this archive section with sources back to Isabelle86 and full distributions back to Isabelle2008.


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