Admin/MacOS/script
2009-04-14 wenzelm 2009-04-14 more robust handling of emacs options -- this is not necessarily an Isabelle process environment yet;
2009-04-14 wenzelm 2009-04-14 actually invoke ISABELLE_TOOL;
2008-12-27 wenzelm 2008-12-27 PATH: /opt/local/bin is back again (required for latex etc.);
2008-12-22 wenzelm 2008-12-22 more sophisticated MacOS interface script (mostly for Carbon Emacs); no longer include MacPorts path; simplified default PROOFGENERAL_OPTIONS, removed PROOFGENERAL_EMACS;
2008-12-17 wenzelm 2008-12-17 basic setup for MacOS application bundle;