| 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 |