[isabelle] compiling 2013-2 from sources



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.