Re: [isabelle] compiling 2013-2 from sources



Hi Gergely,

Past releases are available here:

http://isabelle.in.tum.de/download_past.html

Best

On Tue, Sep 9, 2014 at 9:57 AM, Gergely Buday <gbuday at gmail.com> 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)
www.inf.pucrs.br/alfio
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.