Admin/launch4j/Isabelle.exe
Thu, 10 May 2012 21:35:04 +0200 wenzelm prefer absolute paths, to allow launching from a different context (e.g. via file associations);
Wed, 25 Apr 2012 14:29:15 +0200 wenzelm include generated application wrapper;
less more (0) tip