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 |