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