| Sun, 25 Jul 2021 16:38:16 +0200 |
wenzelm |
updated for Isabelle2021 release;
|
file |
diff |
annotate
|
| Thu, 16 Jan 2020 14:07:28 +0100 |
wenzelm |
updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
|
file |
diff |
annotate
|
| Sun, 22 Dec 2019 16:12:13 +0100 |
wenzelm |
improved Markdown-like display in Phabricator;
|
file |
diff |
annotate
|
| Wed, 20 Mar 2019 22:41:50 +0100 |
wenzelm |
updated to Cygwin 3.0.4 (approximation for Isabelle2019);
|
file |
diff |
annotate
|
| Mon, 04 Jun 2018 21:57:38 +0200 |
wenzelm |
updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
|
file |
diff |
annotate
|
| Sun, 04 Mar 2018 20:09:09 +0100 |
wenzelm |
document existing Apache2 configuration;
|
file |
diff |
annotate
|
| Mon, 28 Aug 2017 19:06:00 +0200 |
wenzelm |
updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
|
file |
diff |
annotate
|
| 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
|