Re: [isabelle] compiling 2013-2 from sources
I have updated the Nominal tar-bundles for Isabelle 2014
on the webpage. Sorry about doing this so late. Hope
this solves some problems.
On Tuesday, September 9, 2014 at 14:57:50 (+0200), Gergely Buday wrote:
> 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