src/Pure/System/cygwin_init.scala
Tue, 16 Jul 2013 13:23:37 +0200 wenzelm more robust executable path specifications;
Mon, 15 Jul 2013 23:53:04 +0200 wenzelm recover Cygwin symlinks via Windows file-system operations;
Mon, 15 Jul 2013 22:11:36 +0200 wenzelm Scala version of init.bat;
less more (0) tip