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