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 16:37:57 +0100 |
wenzelm |
more robust java.ext.dirs: avoid picking up accidental jars from system directories;
|
file |
diff |
annotate
|
Sat, 30 Sep 2017 11:20:47 +0200 |
wenzelm |
"windows" application is always x86_64;
|
file |
diff |
annotate
|
Thu, 10 Dec 2015 20:49:38 +0100 |
wenzelm |
avoid application spurious startup error;
|
file |
diff |
annotate
|
Wed, 30 Sep 2015 23:15:50 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 30 Sep 2015 21:05:14 +0200 |
wenzelm |
clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path);
|
file |
diff |
annotate
|
Fri, 11 Sep 2015 21:27:23 +0200 |
wenzelm |
single-instance application on Windows;
|
file |
diff |
annotate
|
Fri, 21 Aug 2015 20:18:52 +0200 |
wenzelm |
separate bundle for windows64;
|
file |
diff |
annotate
|
Fri, 21 Aug 2015 19:20:48 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 21 Aug 2015 17:53:10 +0200 |
wenzelm |
proper classpath for launcher;
|
file |
diff |
annotate
|
Fri, 21 Aug 2015 15:02:42 +0200 |
wenzelm |
updated to recent launch4j 3.8;
|
file |
diff |
annotate
|
Fri, 06 Sep 2013 22:28:28 +0200 |
wenzelm |
imitate "isabelle java" and "isabelle jedit" wrt. classpath and options;
|
file |
diff |
annotate
|
Thu, 05 Sep 2013 20:19:22 +0200 |
wenzelm |
main application entry point involves implicit Cygwin init, depending on "uninitialized" file indicator;
|
file |
diff |
annotate
|
Tue, 16 Jul 2013 12:25:59 +0200 |
wenzelm |
build Windows application on the spot, using Unix tools;
|
file |
diff |
annotate
|
Wed, 06 Feb 2013 23:14:50 +0100 |
wenzelm |
proforma update to jdk-7u13 -- barely relevant security updates by Oracle;
|
file |
diff |
annotate
|
Thu, 17 Jan 2013 17:29:02 +0100 |
wenzelm |
updated to jdk-7u11;
|
file |
diff |
annotate
|
Fri, 11 Jan 2013 13:23:51 +0100 |
wenzelm |
more standard contrib/cygwin location (again);
|
file |
diff |
annotate
|
Thu, 10 Jan 2013 20:23:16 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
Thu, 05 Jul 2012 22:12:03 +0200 |
wenzelm |
more directory structure;
|
file |
diff |
annotate
| base
|