Wed, 25 Apr 2012 14:24:27 +0200 | wenzelm | back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer; | file | diff | annotate |
Wed, 25 Apr 2012 11:29:55 +0200 | wenzelm | added splash screen, to reduce confusion when waiting for main application to start up; | file | diff | annotate |
Sun, 22 Apr 2012 21:43:57 +0200 | wenzelm | support Cygwin cold-start via Isabelle.exe, assuming layout of bundle; | file | diff | annotate |
Sun, 22 Apr 2012 16:08:10 +0200 | wenzelm | refer to isabelle.Main application wrapper; | file | diff | annotate |
Sun, 22 Apr 2012 15:19:46 +0200 | wenzelm | updated Isabelle.exe specification, assuming layout of bundle; | file | diff | annotate |
Fri, 03 Jul 2009 00:10:19 +0200 | wenzelm | Isabelle application wrapper for windows. | file | diff | annotate |
Tue, 30 Jun 2009 00:57:06 +0200 | wenzelm | added icon; | file | diff | annotate |
Tue, 30 Jun 2009 00:46:28 +0200 | wenzelm | basic launch4j setup; | file | diff | annotate |