| Mon, 16 Sep 2013 13:54:58 +0200 | wenzelm | updated to cygwin-20130916; | file | diff | annotate |
| Sun, 08 Sep 2013 19:25:06 +0200 | wenzelm | updated exe -- more explicit icon; | file | diff | annotate |
| Sun, 08 Sep 2013 18:10:12 +0200 | wenzelm | use windows_app based on WinRun4J; | file | diff | annotate |
| Fri, 06 Sep 2013 22:28:28 +0200 | wenzelm | imitate "isabelle java" and "isabelle jedit" wrt. classpath and options; | file | diff | annotate |
| Thu, 05 Sep 2013 20:26:41 +0200 | wenzelm | updated windows_app-20130905; | file | diff | annotate |
| Tue, 16 Jul 2013 12:25:59 +0200 | wenzelm | build Windows application on the spot, using Unix tools; | file | diff | annotate |
| Thu, 17 Jan 2013 18:16:20 +0100 | wenzelm | updated to cygwin-20130117; | file | diff | annotate |
| Mon, 14 Jan 2013 14:59:14 +0100 | wenzelm | updated to cygwin-20130114; | file | diff | annotate |
| Thu, 10 Jan 2013 21:20:14 +0100 | wenzelm | manage cygwin as bundled quasi-component; | file | diff | annotate |