| Fri, 06 Sep 2013 22:28:28 +0200 | imitate "isabelle java" and "isabelle jedit" wrt. classpath and options; | file | diff | annotate |
| Thu, 05 Sep 2013 20:19:22 +0200 | main application entry point involves implicit Cygwin init, depending on "uninitialized" file indicator; | file | diff | annotate |
| Tue, 16 Jul 2013 12:25:59 +0200 | build Windows application on the spot, using Unix tools; | file | diff | annotate |
| Wed, 06 Feb 2013 23:14:50 +0100 | proforma update to jdk-7u13 -- barely relevant security updates by Oracle; | file | diff | annotate |
| Thu, 17 Jan 2013 17:29:02 +0100 | updated to jdk-7u11; | file | diff | annotate |
| Fri, 11 Jan 2013 13:23:51 +0100 | more standard contrib/cygwin location (again); | file | diff | annotate |
| Thu, 10 Jan 2013 20:23:16 +0100 | updated for release; | file | diff | annotate |
| Thu, 05 Jul 2012 22:12:03 +0200 | more directory structure; | file | diff | annotate | base |