| Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 23:36:58 +0100 |
wenzelm |
Cygwin: Poly/ML 5.4.0 requires libgmp3;
|
file |
diff |
annotate
|
| Sun, 26 Sep 2010 19:32:45 +0200 |
wenzelm |
tuned signatures and messages;
|
file |
diff |
annotate
|
| Fri, 28 May 2010 21:17:59 +0200 |
wenzelm |
eliminated hard tabs;
|
file |
diff |
annotate
|
| Sat, 17 Apr 2010 21:01:55 +0200 |
wenzelm |
THIS_CYGWIN;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 22:43:07 +0100 |
wenzelm |
Standard_System.raw_exec;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 22:19:14 +0100 |
wenzelm |
added Cygwin "make" package;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2010 20:08:04 +0100 |
wenzelm |
tuned error handling;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2010 01:14:49 +0100 |
wenzelm |
Standard_System.raw_execute: optional cwd;
|
file |
diff |
annotate
|
| Mon, 28 Dec 2009 22:58:25 +0100 |
wenzelm |
crude Cygwin.setup;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Wed, 09 Dec 2009 16:28:49 +0100 |
wenzelm |
more robust Cygwin.config: actually check Wow6432Node, prefer explicit CYGWIN_ROOT in any case;
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 15:39:51 +0200 |
wenzelm |
some more Cygwin checks;
|
file |
diff |
annotate
|
| Mon, 08 Jun 2009 00:20:43 +0200 |
wenzelm |
Accessing the Cygwin installation.
|
file |
diff |
annotate
|