[isabelle-dev] Isabelle2009 test version

Makarius 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 
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.


More information about the isabelle-dev mailing list