Sat, 07 Sep 2013 18:37:25 +0200 | wenzelm | imitate "isabelle java" and "isabelle jedit" wrt. classpath and options (see also a221a4fdb5a0); | file | diff | annotate |
Tue, 16 Jul 2013 18:28:45 +0200 | wenzelm | fully-automated packaging (requires Mac OS X); | file | diff | annotate |
Sat, 23 Feb 2013 21:07:44 +0100 | wenzelm | basic setup for appbundler-1.0 for Mac OS X and Java 7; | file | diff | annotate |