Admin/launch4j/isabelle.xml
Sun, 22 Apr 2012 15:19:46 +0200 wenzelm updated Isabelle.exe specification, assuming layout of bundle;
Fri, 03 Jul 2009 00:10:19 +0200 wenzelm Isabelle application wrapper for windows.
Tue, 30 Jun 2009 00:57:06 +0200 wenzelm added icon;
Tue, 30 Jun 2009 00:46:28 +0200 wenzelm basic launch4j setup;
less more (0) tip