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