| Mon, 04 Jun 2018 22:59:47 +0200 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Mon, 04 Jun 2018 22:04:45 +0200 |
wenzelm |
avoid hardwired cygwin mirror;
|
file |
diff |
annotate
|
| Mon, 04 Jun 2018 21:57:38 +0200 |
wenzelm |
updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
|
file |
diff |
annotate
|
| 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
|