Admin/launch4j/isabelle.xml
Fri, 03 Jul 2009 00:10:19 +0200 Isabelle application wrapper for windows.
Tue, 30 Jun 2009 00:57:06 +0200 added icon;
Tue, 30 Jun 2009 00:46:28 +0200 basic launch4j setup;