Admin/Linux/Isabelle.run
2016-01-02 ago provide server name uniformly on all platforms;
2015-09-30 ago proper isabelle.root for bootstrap;
2015-09-14 ago single-instance application for Linux;
2015-09-08 ago clarified Java runtime options for 32 vs. 64 bit;
2014-10-27 ago JRE is sufficient for official release -- javac and jar are only needed for self-build;
2014-03-21 ago added splash screen for jvm boot, which is important for initial encounter to avoid multiple copies running against each other;
2013-10-07 ago native executable even for Linux, to avoid surprises with file managers opening executable script as text file;