Tue, 28 Feb 2017 19:50:08 +0100 |
wenzelm |
proper Isabelle/Scala tool;
|
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
|
Wed, 19 Oct 2016 17:39:04 +0200 |
wenzelm |
basic SSH server configuration;
|
file |
diff |
annotate
|
Sun, 02 Oct 2016 12:50:46 +0200 |
wenzelm |
updated cygwin according to 9416333a17c2, still using old 1.7.35-1;
|
file |
diff |
annotate
|
Thu, 10 Dec 2015 16:54:59 +0100 |
wenzelm |
current Cygwin snapshot in preparation of release;
|
file |
diff |
annotate
|
Sat, 11 Apr 2015 21:44:38 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
Fri, 25 Jul 2014 20:55:57 +0200 |
wenzelm |
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 |
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
|