[isabelle-dev] Isabelle release

[Makarius]

See http://www4.in.tum.de/~wenzelm/test/website-test/ for a test version 
of the forthcoming release, including the usual precompiled binaries 
(still for Poly/ML 5.1).


        Makarius