Email Gateway (Aug 17 2022 at 13:45): Email Gateway (Aug 17 2022 at 13:45):From: Makarius <makarius@sketis.net>
This is a repeated announcement, just to make sure this important message
really gets through ...
Makarius
---------- Forwarded message ----------
Date: Wed, 16 Nov 2005 13:20:26 +0100 (CET)
From: Makarius <makarius@sketis.net>
To: <isabelle-users@cl.cam.ac.uk>
Subject: [isabelle] Poly/ML 4.1.4 for Isabelle2005
Dear Isabelle2005 users,
Poly/ML 4.2.0 has become available recently and fixes some long standing
problems with testing-unstable Linux distributions and cutting edge
kernels. Due to some incompatibilities in the basis library it does not
work directly with Isabelle2005, though.
Poly/ML 4.1.4 is our backward patch for Isabelle2005. It is available from
the Isabelle download area, together with the usual precompiled
object-logics:
http://www.cl.cam.ac.uk/Research/HVG/Isabelle/download.html
http://isabelle.in.tum.de/download.html
http://mirror.cse.unsw.edu.au/pub/isabelle/download.html
Last updated: Nov 21 2024 at 12:39 UTC