| Thu, 26 Oct 2023 11:29:00 +0200 |
Fabian Huch |
build javamail component and add to main components;
|
file |
diff |
annotate
|
| Wed, 25 Oct 2023 17:06:21 +0200 |
wenzelm |
updated to vampire-4.8;
|
file |
diff |
annotate
|
| Sun, 15 Oct 2023 13:36:48 +0200 |
wenzelm |
updated to stack-2.13.1: include arm64-darwin, although it does not quite work yet (e.g. session "Haskell");
|
file |
diff |
annotate
|
| Sat, 14 Oct 2023 20:22:40 +0200 |
wenzelm |
updated to official release of polyml-5.9.1, based on Ubuntu 18.04 LTS and macOS 11 Big Sur;
|
file |
diff |
annotate
|
| Tue, 10 Oct 2023 13:15:32 +0200 |
Fabian Huch |
updated to hugo-0.119.0;
|
file |
diff |
annotate
|
| Fri, 22 Sep 2023 16:12:10 +0200 |
wenzelm |
tuned: more standard order;
|
file |
diff |
annotate
|
| Fri, 22 Sep 2023 16:11:18 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 03 Sep 2023 19:28:59 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Sat, 02 Sep 2023 12:12:32 +0200 |
wenzelm |
updated to naproche-20230902: add examples/100_theorems.ftl.tex and some more text in Isabelle/Intro.thy;
|
file |
diff |
annotate
|
| Wed, 23 Aug 2023 10:32:23 +0200 |
Lars Hupel |
add Go component
|
file |
diff |
annotate
|
| Sun, 06 Aug 2023 23:44:50 +0200 |
wenzelm |
update to polyml-219e0a248f70, with more robust support for ARM64;
|
file |
diff |
annotate
|
| Tue, 11 Jul 2023 19:31:22 +0200 |
wenzelm |
update cygwin component;
|
file |
diff |
annotate
|
| Tue, 11 Jul 2023 17:07:10 +0200 |
wenzelm |
updated naproche-20230711 component for release;
|
file |
diff |
annotate
|
| Tue, 11 Jul 2023 15:44:23 +0200 |
wenzelm |
update cygwin for Isabelle2023 -- somewhere after cygwin 3.4.0-1 (see https://cygwin.com/pipermail/cygwin-announce/2022-December/010821.html);
|
file |
diff |
annotate
|
| Tue, 11 Jul 2023 15:31:29 +0200 |
wenzelm |
proper set_executable for sqlitejdbc.dll (see also 3b0f8f1010f2);
|
file |
diff |
annotate
|
| Tue, 11 Jul 2023 15:15:27 +0200 |
wenzelm |
update to stack-2.9.3 with support for arm64-linux;
|
file |
diff |
annotate
|
| Mon, 10 Jul 2023 22:06:31 +0200 |
wenzelm |
publish component;
|
file |
diff |
annotate
|
| Mon, 10 Jul 2023 21:39:47 +0200 |
wenzelm |
update to current sqlite-jdbc-3.42.0.0;
|
file |
diff |
annotate
|
| 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:13:22 +0200 |
wenzelm |
provide scala-3.3.0;
|
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, 03 Feb 2023 14:29:07 +0100 |
wenzelm |
proper symbolic handle on component resources:
|
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
|
| Tue, 25 Oct 2022 15:11:18 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Mon, 24 Oct 2022 15:24:04 +0200 |
wenzelm |
updated to naproche-20221024: minor changes to documentation;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2022 11:08:01 +0200 |
wenzelm |
support for Zstd data compression;
|
file |
diff |
annotate
|
| Thu, 20 Oct 2022 23:43:59 +0200 |
wenzelm |
merged
|
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
|
| Tue, 18 Oct 2022 14:15:41 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Tue, 18 Oct 2022 11:31:35 +0200 |
wenzelm |
update naproche component;
|
file |
diff |
annotate
|
| Mon, 17 Oct 2022 23:36:08 +0200 |
wenzelm |
rebuild with proper Isabelle version;
|
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 14:33:04 +0200 |
wenzelm |
update components.sha1;
|
file |
diff |
annotate
|
| Sun, 02 Oct 2022 16:10:27 +0200 |
wenzelm |
include openssh for rsync (see also a1c7829ac2de);
|
file |
diff |
annotate
|
| Sun, 02 Oct 2022 16:05:34 +0200 |
wenzelm |
provide naproche-20221002;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2022 00:00:05 +0200 |
wenzelm |
inplace update: proper Linux version;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2022 23:09:00 +0200 |
wenzelm |
provide naproche-20220917;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2022 21:17:26 +0200 |
wenzelm |
proper platform directory x86_64-linux, to have it purged for other platforms;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2022 18:10:48 +0200 |
wenzelm |
MLton component for x86_64-linux;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 16:34:45 +0200 |
wenzelm |
update to scala-3.2.0;
|
file |
diff |
annotate
|