[isabelle] Poly/ML 4.1.4 for Isabelle2005

This is a repeated announcement, just to make sure this important message 
really gets through ...


---------- 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


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