Admin/MacOS/isabelle.icns
Wed, 17 Dec 2008 14:39:38 +0100 wenzelm basic setup for MacOS application bundle;
less more (0) tip