Wed, 30 Sep 2015 23:37:20 +0200 | wenzelm | proper isabelle.root for bootstrap; | file | diff | annotate |
Mon, 14 Sep 2015 16:08:27 +0200 | wenzelm | single-instance application for Linux; | file | diff | annotate |
Tue, 08 Sep 2015 15:37:13 +0200 | wenzelm | clarified Java runtime options for 32 vs. 64 bit; | file | diff | annotate |
Mon, 27 Oct 2014 20:20:53 +0100 | wenzelm | JRE is sufficient for official release -- javac and jar are only needed for self-build; | file | diff | annotate |
Fri, 21 Mar 2014 22:54:16 +0100 | wenzelm | added splash screen for jvm boot, which is important for initial encounter to avoid multiple copies running against each other; | file | diff | annotate |
Mon, 07 Oct 2013 21:24:44 +0200 | wenzelm | native executable even for Linux, to avoid surprises with file managers opening executable script as text file; | file | diff | annotate | base |