Admin/components/bundled-windows
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;