[isabelle-dev] Mac OS Isabelle.app bundle
makarius at sketis.net
Mon Dec 22 17:33:31 CET 2008
Dear Mac + Isabelle users,
see http://www4.in.tum.de/~wenzelm/test/Isabelle.app.tar.gz for an updated
version of the Isabelle application bundle, based on an earlier one
produced by Larry some time ago.
This version uses the latest Platypus 4.0, and assumes native Carbon
Emacs; neither X11 nor special Mac Ports stuff should be required. The
application is meant to be reasonably robust against startup failure, i.e.
error messages are displayed as Cocoa dialog, only *if* they occur.
The underlying Isabelle distribution is meant to be either in
Isabelle.app/Contents/Resources/Isabelle or in Isabelle.app/../Isabelle
Likewise for Emacs, but it is also found in
/Applications/Emacs.app/Contents/MacOS/Emacs if available.
The Mac OS application bundle is meant to become part of the next official
Isabelle release, which is due within the next 2 months or so.
More information about the isabelle-dev