Admin/components/bundled-windows
21 months ago wenzelm 2017-09-30 updated to x86_64-cygwin;
22 months ago wenzelm 2017-08-28 updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
2016-10-24 wenzelm 2016-10-24 updated to cygwin-20161024: cygwin.exe from current http://isabelle.in.tum.de/cygwin_2016-1
2016-10-22 wenzelm 2016-10-22 updated to current Cygwin, after 2.6.0-1 from 31-Aug-2016;
2016-10-02 wenzelm 2016-10-02 updated cygwin according to 9416333a17c2, still using old 1.7.35-1;
2015-12-21 wenzelm 2015-12-21 updated Cygwin (somewhere after 1.7.35-1);
2015-12-10 wenzelm 2015-12-10 current Cygwin snapshot in preparation of release;
2015-08-21 wenzelm 2015-08-21 updated to recent launch4j 3.8;
2015-04-10 wenzelm 2015-04-10 updated Cygwin near 1.7.35-1;
2014-08-13 wenzelm 2014-08-13 updated to cygwin-20140813 -- some version after 1.7.31-3;
2014-07-25 wenzelm 2014-07-25 updated to cygwin-20140725, which is presumably close to Cygwin 1.7.31-1;
2014-06-26 wenzelm 2014-06-26 updated cygwin on server; include unzip, which is required for src/Doc/JEdit;
2014-05-30 wenzelm 2014-05-30 updated cygwin -- include perl_vendor for libwww-perl;
2014-05-21 wenzelm 2014-05-21 updated cygwin more thoroughly;
2013-12-01 wenzelm 2013-12-01 prefer transparent application icon (like Mac OS X);
2013-11-30 wenzelm 2013-11-30 updated icon of Isabelle.exe, using http://convertico.org/image_to_icon_converter on lib/logo/isabelle.gif (approx. 256x256 pixels according to Windows 7 format);
2013-09-16 wenzelm 2013-09-16 updated to cygwin-20130916;
2013-09-08 wenzelm 2013-09-08 updated exe -- more explicit icon;
2013-09-08 wenzelm 2013-09-08 use windows_app based on WinRun4J;
2013-09-06 wenzelm 2013-09-06 imitate "isabelle java" and "isabelle jedit" wrt. classpath and options;
2013-09-05 wenzelm 2013-09-05 updated windows_app-20130905;
2013-07-16 wenzelm 2013-07-16 build Windows application on the spot, using Unix tools;
2013-01-17 wenzelm 2013-01-17 updated to cygwin-20130117;
2013-01-14 wenzelm 2013-01-14 updated to cygwin-20130114;
2013-01-10 wenzelm 2013-01-10 manage cygwin as bundled quasi-component;