isabelle: File revisions

Admin/Linux/Isabelle.run

Mon, 01 Aug 2016 13:51:17 +0200	wenzelm	uniform server startup like windows and macos, for improved robustness if jEdit is terminated abruptly;	file \| diff \| annotate
Sat, 02 Jan 2016 15:18:38 +0100	wenzelm	provide server name uniformly on all platforms;	file \| diff \| annotate
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

isabelle