Here is another refinement of packaging and installation: http://www4.in.tum.de/~wenzelm/test/isa2009-1-test/installation.html
* There is now a generic "Isabelle bundle" with all the add-on
tools preconfigured. Thus it provides a quick and easy way to test
sledgehammer (with "e" or "spass" prover), and Nitpick (although the
latter does not work on Cygwin yet.)
* The Mac OS application bundle now uses Aquamacs again. (Its problems
seem to be better understood than those of Carbon Emacs.)
Makarius
