Admin/MacOS/App3/Info.plist
Sat, 07 Sep 2013 18:37:25 +0200 wenzelm imitate "isabelle java" and "isabelle jedit" wrt. classpath and options (see also a221a4fdb5a0);
Tue, 16 Jul 2013 18:28:45 +0200 wenzelm fully-automated packaging (requires Mac OS X);
Sat, 23 Feb 2013 21:07:44 +0100 wenzelm basic setup for appbundler-1.0 for Mac OS X and Java 7;
less more (0) tip