Admin/MacOS/mk
2009-04-16 wenzelm 2009-04-16 give up file type / dropability for now -- does not work reliably; tuned;
2008-12-23 wenzelm 2008-12-23 target PWD;
2008-12-22 wenzelm 2008-12-22 proper -X option; relative result, do not insist in "$THIS/Isabelle.app";
2008-12-17 wenzelm 2008-12-17 basic setup for MacOS application bundle;