| 2013-09-08 | wenzelm | 2013-09-08 | updated exe -- more explicit icon; | file | diff | annotate |
| 2013-09-08 | wenzelm | 2013-09-08 | use windows_app based on WinRun4J; | file | diff | annotate |
| 2013-09-06 | wenzelm | 2013-09-06 | imitate "isabelle java" and "isabelle jedit" wrt. classpath and options; | file | diff | annotate |
| 2013-09-05 | wenzelm | 2013-09-05 | updated windows_app-20130905; | file | diff | annotate |
| 2013-07-16 | wenzelm | 2013-07-16 | build Windows application on the spot, using Unix tools; | file | diff | annotate |
| 2013-01-17 | wenzelm | 2013-01-17 | updated to cygwin-20130117; | file | diff | annotate |
| 2013-01-14 | wenzelm | 2013-01-14 | updated to cygwin-20130114; | file | diff | annotate |
| 2013-01-10 | wenzelm | 2013-01-10 | manage cygwin as bundled quasi-component; | file | diff | annotate |