src/Pure/System/cygwin.scala
2010-05-28 wenzelm 2010-05-28 eliminated hard tabs;
2010-04-17 wenzelm 2010-04-17 THIS_CYGWIN;
2010-01-04 wenzelm 2010-01-04 Standard_System.raw_exec; more robust root.mkdirs;
2010-01-04 wenzelm 2010-01-04 added Cygwin "make" package;
2010-01-02 wenzelm 2010-01-02 tuned error handling;
2010-01-02 wenzelm 2010-01-02 Standard_System.raw_execute: optional cwd; basic Cygwin.setup with download and unattended installation;
2009-12-28 wenzelm 2009-12-28 crude Cygwin.setup;
2009-12-09 wenzelm 2009-12-09 simplified Cygwin setup, assuming 1.7 registry layout (version 1.5 suffers from upcaseenv problem anyway);
2009-12-09 wenzelm 2009-12-09 more robust Cygwin.config: actually check Wow6432Node, prefer explicit CYGWIN_ROOT in any case;
2009-06-28 wenzelm 2009-06-28 some more Cygwin checks;
2009-06-08 wenzelm 2009-06-08 Accessing the Cygwin installation.