| #
9e34211d |
|
04-Jun-2018 |
wenzelm <none@none> |
updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
record cygwin mirror explicitly;
|
| #
34fc950a |
|
04-Mar-2018 |
wenzelm <none@none> |
document existing Apache2 configuration;
|
| #
c5a6061d |
|
28-Aug-2017 |
wenzelm <none@none> |
updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
|
| #
c88f335e |
|
28-Feb-2017 |
wenzelm <none@none> |
proper Isabelle/Scala tool;
|
| #
71bcdd66 |
|
22-Oct-2016 |
wenzelm <none@none> |
pro-forma update to cygwin_2016-1 (web service still missing);
|
| #
290eafc7 |
|
19-Oct-2016 |
wenzelm <none@none> |
basic SSH server configuration;
|
| #
89eef021 |
|
01-Oct-2016 |
wenzelm <none@none> |
updated cygwin according to 9416333a17c2, still using old 1.7.35-1;
|
| #
35840c67 |
|
10-Dec-2015 |
wenzelm <none@none> |
current Cygwin snapshot in preparation of release;
|
| #
798d9255 |
|
11-Apr-2015 |
wenzelm <none@none> |
updated for release;
|
| #
40d8c55b |
|
25-Jul-2014 |
wenzelm <none@none> |
updated to cygwin-20140725, which is presumably close to Cygwin 1.7.31-1;
|
| #
de1f54c0 |
|
20-May-2014 |
wenzelm <none@none> |
updated cygwin;
|
| #
bd36ac7e |
|
20-Nov-2013 |
wenzelm <none@none> |
updated to Isabelle2013-2;
|
| #
f4383c53 |
|
16-Sep-2013 |
wenzelm <none@none> |
proper Cygwin mirror for Isabelle2013-1;
|
| #
3f8ee9b3 |
|
18-Jan-2013 |
wenzelm <none@none> |
misc cleanup;
--HG--
rename : Admin/Windows/Cygwin/sfx.txt => Admin/Windows/Installer/sfx.txt
|
| #
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
|