Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] old isabelle version for cygwin

view this post on Zulip Email Gateway (Aug 18 2022 at 19:33):

From: Walther Neuper <wneuper@ist.tugraz.at>
can we get the old

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

from somewhere ?

view this post on Zulip Email Gateway (Aug 18 2022 at 19:33):

From: Makarius <makarius@sketis.net>
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

Last updated: Nov 21 2024 at 12:39 UTC