| Fri, 05 Oct 2018 23:49:12 +0200 |
wenzelm |
discontinue java.ext.dirs for jdk-11 -- in contrast to 982f0bf34804 for jdk-8;
|
file |
diff |
annotate
|
| Tue, 23 Jan 2018 17:58:09 +0100 |
wenzelm |
options file for x86_64 only (amending 03a96b8c7c06);
|
file |
diff |
annotate
|
| Tue, 23 Jan 2018 16:37:57 +0100 |
wenzelm |
more robust java.ext.dirs: avoid picking up accidental jars from system directories;
|
file |
diff |
annotate
|
| 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
|