Sat, 22 Oct 2016 13:41:18 +0200 |
wenzelm |
pro-forma update to cygwin_2016-1 (web service still missing);
|
file |
diff |
annotate
|
Thu, 14 Jul 2016 12:20:20 +0200 |
wenzelm |
prefer curl: presumably more portable and versatile;
|
file |
diff |
annotate
|
Mon, 21 Dec 2015 17:20:57 +0100 |
wenzelm |
updated Cygwin (somewhere after 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
|
Fri, 10 Apr 2015 22:53:30 +0200 |
wenzelm |
updated Cygwin near 1.7.35-1;
|
file |
diff |
annotate
|
Fri, 24 Oct 2014 11:30:39 +0200 |
wenzelm |
discontinued python from standard system environment;
|
file |
diff |
annotate
|
Thu, 26 Jun 2014 19:46:07 +0200 |
wenzelm |
updated cygwin on server;
|
file |
diff |
annotate
|
Fri, 30 May 2014 15:34:14 +0200 |
wenzelm |
updated cygwin -- include perl_vendor for libwww-perl;
|
file |
diff |
annotate
|
Wed, 21 May 2014 17:50:28 +0200 |
wenzelm |
updated cygwin more thoroughly;
|
file |
diff |
annotate
|
Tue, 20 May 2014 21:13:21 +0200 |
wenzelm |
updated cygwin;
|
file |
diff |
annotate
|
Mon, 16 Sep 2013 13:11:32 +0200 |
wenzelm |
updated cygwin snapshot;
|
file |
diff |
annotate
|
Thu, 17 Jan 2013 17:51:43 +0100 |
wenzelm |
proper permissions;
|
file |
diff |
annotate
|
Mon, 14 Jan 2013 21:37:42 +0100 |
wenzelm |
include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages;
|
file |
diff |
annotate
|
Mon, 14 Jan 2013 14:52:52 +0100 |
wenzelm |
avoid odd copies of local configuration or backup files;
|
file |
diff |
annotate
|
Fri, 11 Jan 2013 22:38:12 +0100 |
wenzelm |
prefer MS-DOS-style temp;
|
file |
diff |
annotate
|
Fri, 11 Jan 2013 22:23:03 +0100 |
wenzelm |
more Cygwin packages to help out in a pitch -- NB: make is still needed for legacy usedir;
|
file |
diff |
annotate
|
Fri, 11 Jan 2013 14:54:52 +0100 |
wenzelm |
refer to cygwin mirror with static copy of setup.ini;
|
file |
diff |
annotate
|
Thu, 10 Jan 2013 21:14:01 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 10 Jan 2013 19:07:44 +0100 |
wenzelm |
clarified cygwin/isabelle scripts;
|
file |
diff |
annotate
|
Thu, 10 Jan 2013 17:53:15 +0100 |
wenzelm |
more systematic makedist_cygwin;
|
file |
diff |
annotate
|