[isabelle-dev] Mac OS Isabelle.app bundle

Makarius 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 mailing list