| Fri, 27 Mar 2020 22:06:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Tue, 29 Jan 2019 22:47:45 +0100 |
wenzelm |
updated to jdk-11.0.2+9;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2018 14:58:56 +0100 |
wenzelm |
clarified gnutar options: more uniform owner;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2018 21:15:18 +0100 |
wenzelm |
more direct File.link operation: avoid external process;
|
file |
diff |
annotate
|
| Mon, 03 Dec 2018 20:04:48 +0100 |
wenzelm |
more explicit support for Isabelle system components;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2018 16:18:40 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 10 Nov 2018 14:08:02 +0100 |
wenzelm |
support for user-defined Isabelle/Scala command-line tools;
|
file |
diff |
annotate
|
| Thu, 25 Oct 2018 17:08:04 +0200 |
wenzelm |
updated to jdk-11+28 from https://adoptopenjdk.net -- with proper font rendering on Linux;
|
file |
diff |
annotate
|
| Sat, 06 Oct 2018 15:06:10 +0200 |
wenzelm |
updated to jdk-11;
|
file |
diff |
annotate
|
| Sun, 20 May 2018 11:57:17 +0200 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
| Mon, 23 Oct 2017 19:30:39 +0200 |
wenzelm |
updated to jdk-8u152, which is for x86_64 only;
|
file |
diff |
annotate
|
| Fri, 19 May 2017 19:41:28 +0200 |
wenzelm |
avoid mixture of symlinks and hardlinks, which causes problems with BSD tar on macOS Sierra;
|
file |
diff |
annotate
|
| Fri, 19 May 2017 16:14:24 +0200 |
wenzelm |
updated to jdk-8u131;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2017 16:45:58 +0100 |
wenzelm |
clarified owner;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2017 16:15:08 +0100 |
wenzelm |
insist in proper GNU tar, to avoid subtle semantic differences;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2017 15:02:06 +0100 |
wenzelm |
hardlink within JVM;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2017 13:58:26 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2017 12:57:52 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2017 12:46:19 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2017 00:30:10 +0100 |
wenzelm |
build_jdk in Scala;
|
file |
diff |
annotate
|