src/Pure/System/cygwin.scala
Mon, 20 Dec 2010 23:36:58 +0100 wenzelm Cygwin: Poly/ML 5.4.0 requires libgmp3;
Sun, 26 Sep 2010 19:32:45 +0200 wenzelm tuned signatures and messages;
Fri, 28 May 2010 21:17:59 +0200 wenzelm eliminated hard tabs;
Sat, 17 Apr 2010 21:01:55 +0200 wenzelm THIS_CYGWIN;
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