[isabelle-dev] Isabelle release

Makarius makarius at sketis.net
Tue Jun 3 23:11:02 CEST 2008

See http://www4.in.tum.de/~wenzelm/test/website-test/ for the latest test 
version, which is unlikely to change again for the final release.

The precompiled binaries are now for Poly/ML 5.2, which has been released 
just today.  Moreover, there are now logic images for Cygwin, and more 
explicit instructions how to use that platform.  I've also updated the E 
prover binaries to the latest version of 0.999-006.

Please check everything on your favourite platform.  This is the last 
chance to sort out any problems.


More information about the isabelle-dev mailing list