Re: [isabelle] old isabelle version for cygwin



On Sat, 14 Apr 2012, Walther Neuper wrote:

can we get the old

  http://isabelle.in.tum.de/dist/Isabelle2011_bundle_x86-cygwin.tar.gz

from somewhere ?

Yes the "Download" page has this archive section http://isabelle.in.tum.de/download_past.html with sources back to Isabelle86 and full distributions back to Isabelle2008.


	Makarius





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