| Sat, 13 Sep 2025 19:51:53 +0200 |
wenzelm |
update to zstd-jni-1.5.7-4;
|
file |
diff |
annotate
|
| Sat, 13 Sep 2025 19:38:20 +0200 |
wenzelm |
update to sqlite-3.49.1.0;
|
file |
diff |
annotate
|
| Sat, 13 Sep 2025 19:19:02 +0200 |
wenzelm |
update to postgresql-42.7.7;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2025 22:42:21 +0200 |
wenzelm |
update to jdk-21.0.8;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2025 13:02:14 +0200 |
wenzelm |
more ambitious ISABELLE_JAVA_SYSTEM_OPTIONS, following 1a4be2516f50;
|
file |
diff |
annotate
|
| Thu, 20 Mar 2025 12:39:47 +0100 |
wenzelm |
ZGC of Java 21 is enabled by default: now possible, because Windows Server 2012 (vmnipkow9) has been discontinued;
|
file |
diff |
annotate
|
| Wed, 12 Feb 2025 00:53:15 +0100 |
wenzelm |
back to scala-3.3.4: scalac in 3.3.5 is more than 2 times slower;
|
file |
diff |
annotate
|
| Mon, 03 Feb 2025 13:12:44 +0100 |
wenzelm |
update to scala-3.3.5;
|
file |
diff |
annotate
|
| Fri, 24 Jan 2025 20:05:01 +0100 |
wenzelm |
discontinue old Java 17 LTS;
|
file |
diff |
annotate
|
| Fri, 24 Jan 2025 19:54:43 +0100 |
wenzelm |
update versions for release -- one behind current jedit-5.7.0;
|
file |
diff |
annotate
|
| Fri, 24 Jan 2025 14:35:47 +0100 |
wenzelm |
update to postgresql-42.7.5;
|
file |
diff |
annotate
|
| Fri, 24 Jan 2025 13:06:29 +0100 |
wenzelm |
update to jdk-21.0.6;
|
file |
diff |
annotate
|
| Sat, 21 Dec 2024 13:27:20 +0100 |
wenzelm |
update to xz-java-1.10 for further testing (see also fe7238c01809);
|
file |
diff |
annotate
|
| Thu, 19 Dec 2024 22:19:27 +0100 |
wenzelm |
back to xz-java-1.9, to see if this improves build_manager stability;
|
file |
diff |
annotate
|