Admin/launch4j/isabelle.xml
2012-04-22 wenzelm 2012-04-22 updated Isabelle.exe specification, assuming layout of bundle;
2009-07-03 wenzelm 2009-07-03 Isabelle application wrapper for windows.
2009-06-30 wenzelm 2009-06-30 added icon;
2009-06-30 wenzelm 2009-06-30 basic launch4j setup;