| #
3245e0e7 |
|
04-Jun-2018 |
wenzelm <none@none> |
more robust;
|
| #
d9457b06 |
|
04-Jun-2018 |
wenzelm <none@none> |
avoid hardwired cygwin mirror;
|
| #
9e34211d |
|
04-Jun-2018 |
wenzelm <none@none> |
updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
record cygwin mirror explicitly;
|
| #
c5a6061d |
|
28-Aug-2017 |
wenzelm <none@none> |
updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
|
| #
71bcdd66 |
|
22-Oct-2016 |
wenzelm <none@none> |
pro-forma update to cygwin_2016-1 (web service still missing);
|
| #
35840c67 |
|
10-Dec-2015 |
wenzelm <none@none> |
current Cygwin snapshot in preparation of release;
|
| #
abefe852 |
|
12-Apr-2015 |
wenzelm <none@none> |
proper site for Cygwin setup;
|
| #
de1f54c0 |
|
20-May-2014 |
wenzelm <none@none> |
updated cygwin;
|
| #
f4383c53 |
|
16-Sep-2013 |
wenzelm <none@none> |
proper Cygwin mirror for Isabelle2013-1;
|
| #
a8341da0 |
|
11-Jan-2013 |
wenzelm <none@none> |
more standard contrib/cygwin location (again);
|
| #
3879ee69 |
|
10-Jan-2013 |
wenzelm <none@none> |
outermost directory structure for Windows/Cygwin;
|
| #
d22c9c7a |
|
05-Jul-2012 |
wenzelm <none@none> |
more directory structure;
--HG--
rename : Admin/Cygwin/Cygwin-Setup.bat => Admin/Windows/Cygwin/Cygwin-Setup.bat
rename : Admin/Cygwin/Cygwin-Terminal.bat => Admin/Windows/Cygwin/Cygwin-Terminal.bat
rename : Admin/Cygwin/README => Admin/Windows/Cygwin/README
rename : Admin/Cygwin/init.bat => Admin/Windows/Cygwin/init.bat
rename : Admin/Cygwin/sfx.txt => Admin/Windows/Cygwin/sfx.txt
rename : Admin/exec_process/build => Admin/Windows/exec_process/build
rename : Admin/exec_process/etc/settings => Admin/Windows/exec_process/etc/settings
rename : Admin/exec_process/exec_process.c => Admin/Windows/exec_process/exec_process.c
rename : Admin/launch4j/Isabelle.exe => Admin/Windows/launch4j/Isabelle.exe
rename : Admin/launch4j/README => Admin/Windows/launch4j/README
rename : Admin/launch4j/isabelle.bmp => Admin/Windows/launch4j/isabelle.bmp
rename : Admin/launch4j/isabelle.ico => Admin/Windows/launch4j/isabelle.ico
rename : Admin/launch4j/isabelle.xml => Admin/Windows/launch4j/isabelle.xml
|