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