Here is an updated version of the Isabelle2009-1 test release (based on version 14ff44e21bec):
http://www4.in.tum.de/~wenzelm/test/isa2009-1-test There are very few changes in Isabelle itself, but the packaging is more complete, with a fully updated version of http://www4.in.tum.de/~wenzelm/test/isa2009-1-test/installation.html Users of Mac OS might be particularly interested in the current result of the struggle with Proof General and Emacs on that platform: http://www4.in.tum.de/~wenzelm/test/isa2009-1-test/dist/Isabelle.dmg.zip This is a one-stop-shop. It is supposed to run "without further ado". Makarius