Admin/launch4j/isabelle.xml
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