Admin/Windows/launch4j/Isabelle.exe
Wed, 06 Feb 2013 23:14:50 +0100 wenzelm proforma update to jdk-7u13 -- barely relevant security updates by Oracle;
Thu, 17 Jan 2013 17:29:02 +0100 wenzelm updated to jdk-7u11;
Fri, 11 Jan 2013 13:23:51 +0100 wenzelm more standard contrib/cygwin location (again);
Thu, 10 Jan 2013 20:23:16 +0100 wenzelm updated for release;
Thu, 05 Jul 2012 22:12:03 +0200 wenzelm more directory structure;
less more (0) tip