[isabelle-dev] Isabelle2009 source freeze: NOW!

Makarius 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 
http://www4.in.tum.de/~wenzelm/test/website/download_x86-linux.html which 
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 mailing list