| 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 |