Email Gateway (Aug 19 2022 at 16:01): Email Gateway (Aug 19 2022 at 16:01):From: Gergely Buday <gbuday@gmail.com>
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.
Email Gateway (Aug 19 2022 at 16:01):From: Alfio Martini <alfio.martini@acm.org>
Hi Gergely,
Past releases are available here:
http://isabelle.in.tum.de/download_past.html
Best
Email Gateway (Aug 19 2022 at 16:01):From: Christian Urban <christian.urban@kcl.ac.uk>
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
Last updated: Apr 30 2024 at 04:19 UTC