Re: [isabelle] compiling 2013-2 from sources

Hi Gergely,

Past releases are available here:


On Tue, Sep 9, 2014 at 9:57 AM, Gergely Buday <gbuday at> 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

Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil

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