19 months ago wenzelm 2018-01-23 options file for x86_64 only (amending 03a96b8c7c06);
19 months ago wenzelm 2018-01-23 more robust java.ext.dirs: avoid picking up accidental jars from system directories;
2016-08-01 wenzelm 2016-08-01 uniform server startup like windows and macos, for improved robustness if jEdit is terminated abruptly;
2016-01-02 wenzelm 2016-01-02 provide server name uniformly on all platforms;
2015-09-30 wenzelm 2015-09-30 proper isabelle.root for bootstrap;
2015-09-14 wenzelm 2015-09-14 single-instance application for Linux;
2015-09-08 wenzelm 2015-09-08 clarified Java runtime options for 32 vs. 64 bit;
2014-10-27 wenzelm 2014-10-27 JRE is sufficient for official release -- javac and jar are only needed for self-build;
2014-03-21 wenzelm 2014-03-21 added splash screen for jvm boot, which is important for initial encounter to avoid multiple copies running against each other;
2013-10-07 wenzelm 2013-10-07 native executable even for Linux, to avoid surprises with file managers opening executable script as text file;