Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Need Isabelle 2010 and installation tutorial

Email Gateway (Aug 19 2022 at 10:51):

From: geng chen <chengeng4000@gmail.com>
Dear All,

I am a rookie to Isabelle. Now I have a Isabelle source file needs to be
run on Isabelle 2010. But I can not find any where to download that
version. Could anyone help me to send me some link or anything else and
give me a installation tutorial for Isabelle 2010 on linux or windows. Many
thanks!

Best regards,

Geng

Email Gateway (Aug 19 2022 at 10:51):

From: Christian Sternagel <c.sternagel@gmail.com>
Dear Geng,

I am not aware of Isabelle 2010, most likely you mean the Isabelle
version which was released in 2010, which was Isabelle2009-2. Several
recent Isabelle releases are available from

http://isabelle.in.tum.de/download_past.html

which is admittedly not that easy to find:

1) http://isabelle.in.tum.de
2) -> Installation
3) -> archive

On the website of the desired release (assuming it is Isabelle2009-2)
there is "Download & Support" with a link to "installation instructions".

cheers

chris

Last updated: Apr 24 2024 at 20:16 UTC