[isabelle] Need Isabelle 2010 and installation tutorial



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



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