[isabelle-dev] Isabelle2009 source freeze: NOW!
makarius at sketis.net
Mon Apr 6 20:10:44 CEST 2009
Dear Isabelle contributors,
in preparation of the coming official Isabelle release, we have finally
reached the point of source freeze. This means any changes to the main
system (Pure, HOL, libraries etc.) are only to be considered at all if
they address really serious problems.
A test release is available from
also includes versions for the usual alternative platforms. The remainder
of the website still needs some updating, though.
Please take the opportunity to check your favourite system installation
(homegrown Linux kernel, exotic Emacs version etc.) against the official
packages provided from the website.
More information about the isabelle-dev