[isabelle-dev] UPDATE: Isabelle2009-1 test release

[Makarius]

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