| Fri, 25 Jul 2014 20:55:57 +0200 | updated to cygwin-20140725, which is presumably close to Cygwin 1.7.31-1; | file | diff | annotate |
| Tue, 20 May 2014 21:13:21 +0200 | updated cygwin; | file | diff | annotate |
| Wed, 20 Nov 2013 23:00:18 +0100 | updated to Isabelle2013-2; | file | diff | annotate |
| Mon, 16 Sep 2013 14:21:07 +0200 | proper Cygwin mirror for Isabelle2013-1; | file | diff | annotate |
| Sat, 19 Jan 2013 12:53:13 +0100 | misc cleanup; | file | diff | annotate |
| Thu, 05 Jul 2012 22:12:03 +0200 | more directory structure; | file | diff | annotate | base |