| 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
|
| Fri, 16 Sep 2022 15:45:40 +0200 |
wenzelm |
update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu-openjdk/release-notes/11.58-17.36-august-2022);
|
file |
diff |
annotate
|
| Sat, 10 Sep 2022 14:25:53 +0200 |
wenzelm |
provide naproche-20220910 (inactive);
|
file |
diff |
annotate
|
| Fri, 09 Sep 2022 21:15:11 +0200 |
wenzelm |
clarified directory names (e.g. for multi-platform remote execution): avoid being deleted via isabelle.Components.purge;
|
file |
diff |
annotate
|
| Wed, 07 Sep 2022 11:17:46 +0200 |
wenzelm |
updated to postgresql-42.5.0;
|
file |
diff |
annotate
|
| Wed, 31 Aug 2022 22:51:27 +0200 |
wenzelm |
updated to current Cygwin, near 3.3.5-1;
|
file |
diff |
annotate
|
| Mon, 29 Aug 2022 23:59:47 +0200 |
wenzelm |
update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2;
|
file |
diff |
annotate
|
| Mon, 29 Aug 2022 19:26:27 +0200 |
wenzelm |
provide cvc5-1.0.2 (inactive);
|
file |
diff |
annotate
|
| Wed, 17 Aug 2022 11:52:45 +0200 |
wenzelm |
updated to sumatra_pdf-3.4.6;
|
file |
diff |
annotate
|
| Wed, 17 Aug 2022 11:28:10 +0200 |
wenzelm |
proper Java/Scala compiler classpath (amending b42e20adaeed): ISABELLE_SETUP_CLASSPATH must not be included prematurely (breaks on Windows), instead use runtime Classpath().jars;
|
file |
diff |
annotate
|
| Mon, 08 Aug 2022 20:01:18 +0200 |
wenzelm |
proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala);
|
file |
diff |
annotate
|
| Mon, 08 Aug 2022 13:33:04 +0200 |
wenzelm |
provide naproche-20220808 (inactive);
|
file |
diff |
annotate
|
| Wed, 27 Jul 2022 12:49:31 +0200 |
wenzelm |
updated to postgresql-42.4.0;
|
file |
diff |
annotate
|