[isabelle-dev] Isabelle2009 test version
makarius at sketis.net
Wed Apr 15 00:53:46 CEST 2009
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
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.
More information about the isabelle-dev