src/Pure/System/cygwin.scala
Mon, 04 Jan 2010 22:43:07 +0100 wenzelm Standard_System.raw_exec;
Mon, 04 Jan 2010 22:19:14 +0100 wenzelm added Cygwin "make" package;
Sat, 02 Jan 2010 20:08:04 +0100 wenzelm tuned error handling;
Sat, 02 Jan 2010 01:14:49 +0100 wenzelm Standard_System.raw_execute: optional cwd;
Mon, 28 Dec 2009 22:58:25 +0100 wenzelm crude Cygwin.setup;
Wed, 09 Dec 2009 21:55:14 +0100 wenzelm simplified Cygwin setup, assuming 1.7 registry layout (version 1.5 suffers from upcaseenv problem anyway);
Wed, 09 Dec 2009 16:28:49 +0100 wenzelm more robust Cygwin.config: actually check Wow6432Node, prefer explicit CYGWIN_ROOT in any case;
Sun, 28 Jun 2009 15:39:51 +0200 wenzelm some more Cygwin checks;
Mon, 08 Jun 2009 00:20:43 +0200 wenzelm Accessing the Cygwin installation.
less more (0) tip