[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

Best regards,


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