Admin/launch4j/isabelle.xml
2012-04-25 wenzelm 2012-04-25 back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer;
2012-04-25 wenzelm 2012-04-25 added splash screen, to reduce confusion when waiting for main application to start up;
2012-04-22 wenzelm 2012-04-22 support Cygwin cold-start via Isabelle.exe, assuming layout of bundle;
2012-04-22 wenzelm 2012-04-22 refer to isabelle.Main application wrapper;
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;