Re: [isabelle] compiling 2013-2 from sources



Hi Gergely,

I have updated the Nominal tar-bundles for Isabelle 2014 
on the webpage. Sorry about doing this so late. Hope
this solves some problems.

Christian

On Tuesday, September 9, 2014 at 14:57:50 (+0200), Gergely Buday wrote:
 > Hi,
 > 
 > as I understand, old versions of Isabelle are available only as
 > sources. I have been looking for a description on how to do this but I
 > could not find neither in the mailing list archive nor in the system
 > manual. How can I compile it, including Isabelle/Jedit? I need this to
 > work with Nominal Isabelle which seems to not work with Isabelle 2014.
 > 
 > - Gergely
 > 

-- 




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