[isabelle-dev] Isabelle2009 test version

[Makarius]

The latest (and hopefully last) test version of the Isabelle2009 release 
is now available from 
http://www4.in.tum.de/~wenzelm/test/website/index.html

The main changes:

   * Minor tuning of Sledgehammer's external prover invocation, to recover
     interruptibility of E prover 1.0.

   * Some tuning of the Mac OS application bundle, giving up .thy file type
     for now due to strange problems on very new versions of Mac OS.

See particularly the updated 
http://www4.in.tum.de/~wenzelm/test/website/installation.html which 
records the results of experiments on various platform combinations.


 	Makarius