[isabelle-dev] Isabelle release
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