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