| Mon, 10 Jul 2023 21:06:53 +0200 |
wenzelm |
update to flatlaf-2.6, which is the last release before recent moves towards 3.0 / 3.1 / 3.1.1;
|
file |
diff |
annotate
|
| Wed, 07 Jun 2023 15:35:19 +0200 |
wenzelm |
updated to zstd-jni-1.5.5-4;
|
file |
diff |
annotate
|
| Wed, 07 Jun 2023 15:27:52 +0200 |
wenzelm |
updated to postgresql-42.6.0;
|
file |
diff |
annotate
|
| Wed, 31 May 2023 11:14:15 +0200 |
wenzelm |
enable scala-3.3.0, with forced rebuild of Isabelle/Scala and Isabelle/ML;
|
file |
diff |
annotate
|
| Mon, 15 May 2023 14:21:00 +0200 |
wenzelm |
update to polyml-a5d5fba90286, with more robust ML_Heap.sizeof;
|
file |
diff |
annotate
|
| Tue, 09 May 2023 22:58:09 +0200 |
wenzelm |
updated to jdk-17.0.7;
|
file |
diff |
annotate
|
| Thu, 30 Mar 2023 16:04:02 +0200 |
wenzelm |
provide rsync component, with uniform version + options on all platforms;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 21:25:24 +0100 |
wenzelm |
discontinued apache-commons in favour of jsoup, which is smaller and more useful;
|
file |
diff |
annotate
|
| Wed, 08 Mar 2023 22:40:47 +0100 |
wenzelm |
updated to sqlite-jdbc-3.41.0.0;
|
file |
diff |
annotate
|
| Mon, 06 Feb 2023 15:04:21 +0100 |
wenzelm |
more uniform use of SHA1.Shasum;
|
file |
diff |
annotate
|
| Mon, 06 Feb 2023 10:30:53 +0100 |
wenzelm |
clarified signature: follow terminology of isabelle.Sessions and isabelle.Build;
|
file |
diff |
annotate
|
| Sun, 05 Feb 2023 14:41:25 +0100 |
wenzelm |
update to polyml-5e9c8155ea96, which is more robust on arm64;
|
file |
diff |
annotate
|
| Fri, 27 Jan 2023 15:22:26 +0100 |
wenzelm |
back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()");
|
file |
diff |
annotate
|
| Sun, 22 Jan 2023 23:29:34 +0100 |
wenzelm |
update to jdk-17.0.6;
|
file |
diff |
annotate
|
| Wed, 30 Nov 2022 15:53:21 +0100 |
wenzelm |
updated to sqlite-jdbc-3.39.4.1;
|
file |
diff |
annotate
|
| Fri, 25 Nov 2022 21:58:40 +0100 |
wenzelm |
update to scala-3.2.1;
|
file |
diff |
annotate
|
| Fri, 25 Nov 2022 20:39:25 +0100 |
wenzelm |
update to jdk-17.0.5 (Oct-2022);
|
file |
diff |
annotate
|
| Fri, 11 Nov 2022 23:04:55 +0100 |
wenzelm |
support for the Prism.js syntax highlighter -- via external Node.js process;
|
file |
diff |
annotate
|
| Sun, 06 Nov 2022 22:17:28 +0100 |
wenzelm |
support for EPTCS style with demo document;
|
file |
diff |
annotate
|
| Fri, 04 Nov 2022 20:15:54 +0100 |
wenzelm |
support for Springer LLNCS with demo document;
|
file |
diff |
annotate
|
| Mon, 31 Oct 2022 21:44:34 +0100 |
wenzelm |
support for FoilTeX with demo document;
|
file |
diff |
annotate
|
| Mon, 31 Oct 2022 17:10:13 +0100 |
wenzelm |
support for Easychair style with demo document;
|
file |
diff |
annotate
|
| Mon, 31 Oct 2022 15:50:13 +0100 |
wenzelm |
support for Dagstuhl LIPIcs style with demo document;
|
file |
diff |
annotate
|
| Fri, 28 Oct 2022 13:18:27 +0200 |
wenzelm |
proper Java syntax (amending ea79c21bcc47);
|
file |
diff |
annotate
|
| Fri, 21 Oct 2022 11:08:01 +0200 |
wenzelm |
support for Zstd data compression;
|
file |
diff |
annotate
|
| Thu, 20 Oct 2022 20:14:35 +0200 |
wenzelm |
more robust read_file: prefer implicit replacement of bad input instead of failure via MalformedInputException;
|
file |
diff |
annotate
|
| Mon, 17 Oct 2022 23:30:31 +0200 |
wenzelm |
removed junk;
|
file |
diff |
annotate
|
| Mon, 17 Oct 2022 20:24:15 +0200 |
wenzelm |
allow spaces in SCALA_HOME directory name;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2022 11:15:36 +0200 |
wenzelm |
support for system option ML_system_apple: emulated x86_64 Poly/ML is sometimes more stable than native ARM64;
|
file |
diff |
annotate
|
| Sun, 09 Oct 2022 16:28:28 +0200 |
wenzelm |
updated to repository version polyml-test-bafe319bc3a6, which is presumably more stable (especially for ARM64);
|
file |
diff |
annotate
|