[isabelle-dev] Isabelle2009 test version

[Makarius]

Dear Mac OS users,

the plan for Isabelle2009 is to ship a proper application bundle, see 
http://www4.in.tum.de/~wenzelm/test/website/dist/Isabelle.dmg.gz for the 
present attempt.

The app is fully self-contained with Poly/ML, precompiled Isabelle/HOL, 
and a version of Emacs.  Right now this is for x86-darwin, but ppc-darwin 
could be included as well, if there are still users for that platform.

Please try Isabelle.app and tell me how it works for you.


 	Makarius