Mon, 28 Aug 2017 19:06:00 +0200 |
wenzelm |
updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
|
file |
diff |
annotate
|
Sat, 22 Oct 2016 13:41:18 +0200 |
wenzelm |
pro-forma update to cygwin_2016-1 (web service still missing);
|
file |
diff |
annotate
|
Thu, 10 Dec 2015 16:54:59 +0100 |
wenzelm |
current Cygwin snapshot in preparation of release;
|
file |
diff |
annotate
|
Sun, 12 Apr 2015 20:05:35 +0200 |
wenzelm |
proper site for Cygwin setup;
|
file |
diff |
annotate
|
Tue, 20 May 2014 21:13:21 +0200 |
wenzelm |
updated cygwin;
|
file |
diff |
annotate
|
Mon, 16 Sep 2013 14:21:07 +0200 |
wenzelm |
proper Cygwin mirror for Isabelle2013-1;
|
file |
diff |
annotate
|
Fri, 11 Jan 2013 13:23:51 +0100 |
wenzelm |
more standard contrib/cygwin location (again);
|
file |
diff |
annotate
|
Thu, 10 Jan 2013 20:41:52 +0100 |
wenzelm |
outermost directory structure for Windows/Cygwin;
|
file |
diff |
annotate
|
Thu, 05 Jul 2012 22:12:03 +0200 |
wenzelm |
more directory structure;
|
file |
diff |
annotate
| base
|