| 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
|