[isabelle] Poly/ML 4.1.4 for Isabelle2005



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 at sketis.net>
To:  <isabelle-users at 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





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